7.3 Mizar System


The Mizar system is made in Mizar C:MIZAR; however, ABSTR is an important directory among these. ABSTR is an abbreviation of ABSTRact and this directory holds the abstract files that have been created up to this point in time. BOOLE.ABS and TARSKI.ABS are examples of these. When an article is written, files in here are read often. In PREL, files that are used for viewing an article registered in the Mizar library are placed. Mizar's various commands are placed in C:MIZAR.