Re: [mizar] Private DB

[Piotr Rudnicki <piotr@cs.ualberta.ca>]

On Wed, Sep 20, 2006 at 11:04:14PM +0200, Freek Wiedijk wrote:

> >Freek's tutorial
> 
> My original plan was to write a book about Mizar, together
> with Andrzej, consisting of four parts: a tutorial, a history
> of the system, a manual of the language, and a manual of the
> programs.  I never got beyond the tutorial, though.  Maybe I
> should go to Poland for a month and write the two manual
> parts.  (And then forget about the history part :-))
> 
> If you want to point to the tutorial, please tell me, so I can
> put it in a reasonable place.  Currently the most recent
> version is in the directory of my proof assistants course,
> which is not where one should link to.

Freek,

Would it be possible to put your tutorial to the Mizar wiki?

Cheers,

-- 
Piotr Rudnicki        CompSci, University of Alberta, Edmonton, Canada
                      http://web.cs.ualberta.ca/~piotr