Index of /xml/Sophia-Antipolis/Buchberger/Peq/Peq

	Name	Last modified	Size	Description
	Parent Directory		-
	A.var.types.xml.gz	2004-04-08 09:57	198
	A.var.xml.gz	2004-04-08 09:57	198
	A0.var.types.xml.gz	2004-04-08 09:57	200
	A0.var.xml.gz	2004-04-08 09:57	239
	A1.var.types.xml.gz	2004-04-08 09:57	200
	A1.var.xml.gz	2004-04-08 09:57	240
	INDEX	2005-07-05 08:13	520
	cs.var.types.xml.gz	2004-04-08 09:57	200
	cs.var.xml.gz	2004-04-08 09:57	401
	divA.var.types.xml.gz	2004-04-08 09:57	203
	divA.var.xml.gz	2004-04-08 09:57	436
	eqA.var.types.xml.gz	2004-04-08 09:57	202
	eqA.var.xml.gz	2004-04-08 09:57	314
	eqA_dec.var.types.xml.gz	2004-04-08 09:57	210
	eqA_dec.var.xml.gz	2004-04-08 09:57	501
	eqTerm_imp_eqT.var.types.xml.gz	2004-04-08 09:57	605
	eqTerm_imp_eqT.var.xml.gz	2004-04-08 09:57	668
	invA.var.types.xml.gz	2004-04-08 09:57	203
	invA.var.xml.gz	2004-04-08 09:57	293
	ltM.var.types.xml.gz	2004-04-08 09:57	202
	ltM.var.xml.gz	2004-04-08 09:57	378
	ltM_dec.var.types.xml.gz	2004-04-08 09:57	210
	ltM_dec.var.xml.gz	2004-04-08 09:57	577
	minusA.var.types.xml.gz	2004-04-08 09:57	207
	minusA.var.xml.gz	2004-04-08 09:57	306
	multA.var.types.xml.gz	2004-04-08 09:57	205
	multA.var.xml.gz	2004-04-08 09:57	304
	n.var.types.xml.gz	2004-04-08 09:57	198
	n.var.xml.gz	2004-04-08 09:57	227
	os.var.types.xml.gz	2004-04-08 09:57	200
	os.var.xml.gz	2004-04-08 09:57	404
	plusA.var.types.xml.gz	2004-04-08 09:57	205
	plusA.var.xml.gz	2004-04-08 09:57	304