Index of /version/7.11.06_4.145.1096/doc/xml

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