Index of /~mptp/8.0.01_5.6.1169/xml

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