Index of /xml/CoRN/reals/Intervals/Compact

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:13	194
	e.var.xml.gz	2004-11-09 12:51	435
	e.var.types.xml.gz	2004-11-09 12:51	192
	b.var.xml.gz	2004-11-09 12:51	436
	b.var.types.xml.gz	2004-11-09 12:51	193
	a.var.xml.gz	2004-11-09 12:51	435
	a.var.types.xml.gz	2004-11-09 12:51	192
	I.var.xml.gz	2004-11-09 12:51	585
	I.var.types.xml.gz	2004-11-09 12:51	192
	He.var.xml.gz	2004-11-09 12:51	666
	He.var.types.xml.gz	2004-11-09 12:51	195
	Hab.var.xml.gz	2004-11-09 12:51	350
	Hab.var.types.xml.gz	2004-11-09 12:51	197
	Hab'.var.xml.gz	2004-11-09 12:51	595
	Hab'.var.types.xml.gz	2004-11-09 12:51	199