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