Index of /version/current/doc/xml

Icon  Name                      Last modified      Size  Description
[PARENTDIR] Parent Directory - [TXT] Mizar.html 2022-02-28 12:26 422K [   ] Mizar.rnc 2022-02-28 12:26 39K [TXT] Mizar.rng 2022-02-28 12:26 78K [TXT] Mizar.xml 2022-02-28 12:26 347K [   ] Mizar.xsd 2022-02-28 12:26 54K [TXT] Mizar1.html 2022-02-28 12:26 801K [   ] article.rnc 2022-02-28 12:26 36 [TXT] article.rng 2022-02-28 12:26 181 [   ] article.xsd 2022-02-28 12:26 182 [   ] byexplanations.rnc 2022-02-28 12:26 43 [TXT] byexplanations.rng 2022-02-28 12:26 188 [   ] byexplanations.xsd 2022-02-28 12:26 182 [   ] constructors.rnc 2022-02-28 12:26 41 [TXT] constructors.rng 2022-02-28 12:26 186 [   ] constructors.xsd 2022-02-28 12:26 182 [   ] definientia.rnc 2022-02-28 12:26 40 [TXT] definientia.rng 2022-02-28 12:26 185 [   ] definientia.xsd 2022-02-28 12:26 182 [   ] fromexplanations.rnc 2022-02-28 12:26 45 [TXT] fromexplanations.rng 2022-02-28 12:26 190 [   ] fromexplanations.xsd 2022-02-28 12:26 182 [   ] identifyregistrations.rnc 2022-02-28 12:26 50 [TXT] identifyregistrations.rng 2022-02-28 12:26 195 [   ] identifyregistrations.xsd 2022-02-28 12:26 182 [TXT] miz.xsl 2022-02-28 12:26 338K [   ] miz.xsltxt 2022-02-28 12:26 122K [   ] notations.rnc 2022-02-28 12:26 38 [TXT] notations.rng 2022-02-28 12:26 183 [   ] notations.xsd 2022-02-28 12:26 182 [   ] registrations.rnc 2022-02-28 12:26 42 [TXT] registrations.rng 2022-02-28 12:26 187 [   ] registrations.xsd 2022-02-28 12:26 182 [   ] schemes.rnc 2022-02-28 12:26 36 [TXT] schemes.rng 2022-02-28 12:26 181 [   ] schemes.xsd 2022-02-28 12:26 182 [TXT] syntax.xml 2022-02-28 12:26 43K [   ] theorems.rnc 2022-02-28 12:26 37 [TXT] theorems.rng 2022-02-28 12:26 182 [   ] theorems.xsd 2022-02-28 12:26 182