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