Index of /~mptp/mml5.37.1275/xml

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