Index of /xml/Coq/ring/Quote

	Name	Last modified	Size	Description
	Parent Directory		-
	variables_map/	2005-07-05 08:13	-
	index.ind.types.xml.gz	2004-04-08 01:29	190
	varmap.ind.types.xml.gz	2004-04-08 01:29	192
	index_eq.con.types.xml.gz	2004-04-08 01:29	196
	index_lt.con.types.xml.gz	2004-04-08 01:29	196
	index_rec.con.types.xml.gz	2004-04-08 01:29	197
	index_rect.con.types.xml.gz	2004-04-08 01:29	199
	varmap_rec.con.types.xml.gz	2004-04-08 01:29	200
	varmap_find.con.types.xml.gz	2004-04-08 01:29	201
	varmap_rect.con.types.xml.gz	2004-04-08 01:29	201
	index_lt.con.xml.gz	2004-04-08 01:29	306
	index_eq.con.xml.gz	2004-04-08 01:29	307
	varmap_find.con.xml.gz	2004-04-08 01:29	341
	index.ind.xml.gz	2004-04-08 01:29	388
	index_rec.con.body.xml.gz	2004-04-08 01:29	405
	index_ind.con.body.xml.gz	2004-04-08 01:29	408
	varmap.ind.xml.gz	2004-04-08 01:29	413
	varmap_rec.con.body.xml.gz	2004-04-08 01:29	420
	varmap_ind.con.body.xml.gz	2004-04-08 01:29	421
	index_eq_prop.con.xml.gz	2004-04-08 01:29	511
	INDEX	2005-07-05 08:11	573
	index_rect.con.xml.gz	2004-04-08 01:29	605
	index_rec.con.xml.gz	2004-04-08 01:29	606
	index_ind.con.xml.gz	2004-04-08 01:29	612
	varmap_rect.con.xml.gz	2004-04-08 01:29	636
	varmap_rec.con.xml.gz	2004-04-08 01:29	640
	varmap_ind.con.xml.gz	2004-04-08 01:29	642
	index_ind.con.types.xml.gz	2004-04-08 01:29	792
	varmap_ind.con.types.xml.gz	2004-04-08 01:29	872
	index_rect.con.body.xml.gz	2004-04-08 01:29	1.0K
	varmap_rect.con.body.xml.gz	2004-04-08 01:29	1.0K
	index_eq.con.body.xml.gz	2004-04-08 01:29	1.0K
	index_lt.con.body.xml.gz	2004-04-08 01:29	1.0K
	varmap_find.con.body.xml.gz	2004-04-08 01:29	1.1K
	index_eq_prop.con.body.xml.gz	2004-04-08 01:29	4.6K
	index_eq_prop.con.types.xml.gz	2004-04-08 01:29	7.1K
	index_eq_prop.con.proof_tree.xml.gz	2004-04-09 18:52	7.6K