Hi Freek, On Wed, 20 Sep 2006, Freek Wiedijk wrote:
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 :-))
Refering to the history of the Mizar Project (not only the system), you can find at: http://mizar.org/people/romat/MatRud2005.pdf http://mizar.org/people/romat/MatRud2005.bib Roman