Index of /version/8.1.15_5.94.1493/doc/xml

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