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

Re: [mizar] Private DB



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