Index of /version/current/doc/xml

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