Index of /version/current/doc/xml

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