Hi Michael, On Thu, 21 Sep 2006, Michael Nedzelsky wrote:
If you would go, and build a system that very much resembles Mizar but is a "new" system really, then I wouldn't complain about it at all. (And if you do this, _please_ allow empty types: Mizar is _evil_ that it doesn't allow empty types :-))empty types?
http://mizar.uwb.edu.pl/cgi-bin/wilma/wilma_glimpse/mizar-forum?query=empty+types&Search=Search&errors=0&maxfiles=50&maxlines=10&.cgifields=filelist&.cgifields=partial&.cgifields=restricttofiles&.cgifields=case&.cgifields=lineonly Welcome to this Mizar forum evergreen :-). Josef