Index of /version/current/doc/xml

Icon  Name                      Last modified      Size  Description
[DIR] Parent Directory - [TXT] Mizar.html 24-Jul-2016 12:28 422K [   ] Mizar.rnc 24-Jul-2016 12:28 39K [TXT] Mizar.rng 24-Jul-2016 12:28 78K [TXT] Mizar.xml 24-Jul-2016 12:28 347K [   ] Mizar.xsd 24-Jul-2016 12:28 54K [TXT] Mizar1.html 24-Jul-2016 12:28 801K [   ] article.rnc 24-Jul-2016 12:28 36 [TXT] article.rng 24-Jul-2016 12:28 181 [   ] article.xsd 24-Jul-2016 12:28 182 [   ] byexplanations.rnc 24-Jul-2016 12:28 43 [TXT] byexplanations.rng 24-Jul-2016 12:28 188 [   ] byexplanations.xsd 24-Jul-2016 12:28 182 [   ] constructors.rnc 24-Jul-2016 12:28 41 [TXT] constructors.rng 24-Jul-2016 12:28 186 [   ] constructors.xsd 24-Jul-2016 12:28 182 [   ] definientia.rnc 24-Jul-2016 12:28 40 [TXT] definientia.rng 24-Jul-2016 12:28 185 [   ] definientia.xsd 24-Jul-2016 12:28 182 [   ] fromexplanations.rnc 24-Jul-2016 12:28 45 [TXT] fromexplanations.rng 24-Jul-2016 12:28 190 [   ] fromexplanations.xsd 24-Jul-2016 12:28 182 [   ] identifyregistrations.rnc 24-Jul-2016 12:28 50 [TXT] identifyregistrations.rng 24-Jul-2016 12:28 195 [   ] identifyregistrations.xsd 24-Jul-2016 12:28 182 [TXT] miz.xsl 24-Jul-2016 12:28 338K [   ] miz.xsltxt 24-Jul-2016 12:28 122K [   ] notations.rnc 24-Jul-2016 12:28 38 [TXT] notations.rng 24-Jul-2016 12:28 183 [   ] notations.xsd 24-Jul-2016 12:28 182 [   ] registrations.rnc 24-Jul-2016 12:28 42 [TXT] registrations.rng 24-Jul-2016 12:28 187 [   ] registrations.xsd 24-Jul-2016 12:28 182 [   ] schemes.rnc 24-Jul-2016 12:28 36 [TXT] schemes.rng 24-Jul-2016 12:28 181 [   ] schemes.xsd 24-Jul-2016 12:28 182 [TXT] syntax.xml 24-Jul-2016 12:28 43K [   ] theorems.rnc 24-Jul-2016 12:28 37 [TXT] theorems.rng 24-Jul-2016 12:28 182 [   ] theorems.xsd 24-Jul-2016 12:28 182
Apache/2.2.15 (Linux/SUSE) Server at mizar.auburn.edu Port 80