Index of /~mptp/mml5.50.1318/xml

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