[Date Prev][Date Next] [Chronological] [Thread] [Top]

Re: [mizar] Private DB

To: mizar-forum@mizar.uwb.edu.pl
Subject: Re: [mizar] Private DB
From: Freek Wiedijk <freek@cs.ru.nl>
Date: Wed, 20 Sep 2006 11:05:02 +0200

Hi Andrzej,

>We teach courses for freshmen. The environment is fixed. Incremeted if 
>necessary. And it is customized, we do not use MML at all.

But then you're not teaching "the real thing"! :-)

Freek

References:
- Re: [mizar] Private DB
  - From: Josef Urban <urban@ktilinux.ms.mff.cuni.cz>
- Re: [mizar] Private DB
  - From: Freek Wiedijk <freek@cs.ru.nl>
- Re: [mizar] Private DB
  - From: Andrzej Trybulec <trybulec@asuka.cs.shinshu-u.ac.jp>
- Re: [mizar] Private DB
  - From: Josef Urban <urban@ktilinux.ms.mff.cuni.cz>
- Re: [mizar] Private DB
  - From: Freek Wiedijk <freek@cs.ru.nl>
- Re: [mizar] Private DB
  - From: Andrzej Trybulec <trybulec@asuka.cs.shinshu-u.ac.jp>
- Re: [mizar] Private DB
  - From: Josef Urban <urban@ktilinux.ms.mff.cuni.cz>
- Re: [mizar] Private DB
  - From: Andrzej Trybulec <trybulec@asuka.cs.shinshu-u.ac.jp>
- Re: [mizar] Private DB
  - From: Freek Wiedijk <freek@cs.ru.nl>
- Re: [mizar] Private DB
  - From: Andrzej Trybulec <trybulec@asuka.cs.shinshu-u.ac.jp>

Prev by Date: Re: [mizar] Private DB
Next by Date: Re: [mizar] Private DB
Index(es):
- Chronological
- Thread