Index of /version/current/doc/xml

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