![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| theorems.xsd | 2024-06-18 09:18 | 182 | |
| theorems.rng | 2024-06-18 09:18 | 182 | |
| theorems.rnc | 2024-06-18 09:18 | 37 | |
| syntax.xml | 2024-06-18 09:18 | 43K | |
| schemes.xsd | 2024-06-18 09:18 | 182 | |
| schemes.rng | 2024-06-18 09:18 | 181 | |
| schemes.rnc | 2024-06-18 09:18 | 36 | |
| registrations.xsd | 2024-06-18 09:18 | 182 | |
| registrations.rng | 2024-06-18 09:18 | 187 | |
| registrations.rnc | 2024-06-18 09:18 | 42 | |
| notations.xsd | 2024-06-18 09:18 | 182 | |
| notations.rng | 2024-06-18 09:18 | 183 | |
| notations.rnc | 2024-06-18 09:18 | 38 | |
| identifyregistrations.xsd | 2024-06-18 09:18 | 182 | |
| identifyregistrations.rng | 2024-06-18 09:18 | 195 | |
| identifyregistrations.rnc | 2024-06-18 09:18 | 50 | |
| fromexplanations.xsd | 2024-06-18 09:18 | 182 | |
| fromexplanations.rng | 2024-06-18 09:18 | 190 | |
| fromexplanations.rnc | 2024-06-18 09:18 | 45 | |
| byexplanations.xsd | 2024-06-18 09:18 | 182 | |
| byexplanations.rng | 2024-06-18 09:18 | 188 | |
| byexplanations.rnc | 2024-06-18 09:18 | 43 | |
| Mizar.xsd | 2024-06-18 09:18 | 54K | |
| Mizar.rng | 2024-06-18 09:18 | 78K | |
| miz.xsltxt | 2024-06-18 09:18 | 122K | |
| miz.xsl | 2024-06-18 09:18 | 338K | |
| definientia.xsd | 2024-06-18 09:18 | 182 | |
| definientia.rng | 2024-06-18 09:18 | 185 | |
| definientia.rnc | 2024-06-18 09:18 | 40 | |
| constructors.xsd | 2024-06-18 09:18 | 182 | |
| constructors.rng | 2024-06-18 09:18 | 186 | |
| constructors.rnc | 2024-06-18 09:18 | 41 | |
| article.xsd | 2024-06-18 09:18 | 182 | |
| article.rng | 2024-06-18 09:18 | 181 | |
| article.rnc | 2024-06-18 09:18 | 36 | |
| Mizar1.html | 2024-06-18 09:18 | 801K | |
| Mizar.xml | 2024-06-18 09:18 | 347K | |
| Mizar.rnc | 2024-06-18 09:18 | 39K | |
| Mizar.html | 2024-06-18 09:18 | 422K | |