Index of /xml/Coq/Sorting/Sorting

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:11	561
	defs/	2005-07-05 08:13	-
	lelistA.ind.types.xml.gz	2004-04-08 01:49	193
	lelistA.ind.xml.gz	2004-04-08 01:49	771
	lelistA_ind.con.body.xml.gz	2004-04-08 01:49	1.0K
	lelistA_ind.con.types.xml.gz	2004-04-08 01:49	883
	lelistA_ind.con.xml.gz	2004-04-08 01:49	830
	lelistA_inv.con.body.xml.gz	2004-04-08 01:49	4.5K
	lelistA_inv.con.proof_tree.xml.gz	2004-04-09 18:52	7.7K
	lelistA_inv.con.types.xml.gz	2004-04-08 01:49	4.0K
	lelistA_inv.con.xml.gz	2004-04-08 01:49	583
	merge.con.body.xml.gz	2004-04-08 01:49	9.5K
	merge.con.proof_tree.xml.gz	2004-04-09 18:52	24K
	merge.con.types.xml.gz	2004-04-08 01:49	8.4K
	merge.con.xml.gz	2004-04-08 01:49	533
	merge_lem.ind.types.xml.gz	2004-04-08 01:49	197
	merge_lem.ind.xml.gz	2004-04-08 01:49	1.1K
	merge_lem_ind.con.body.xml.gz	2004-04-08 01:49	616
	merge_lem_ind.con.types.xml.gz	2004-04-08 01:49	1.7K
	merge_lem_ind.con.xml.gz	2004-04-08 01:49	1.3K
	merge_lem_rec.con.body.xml.gz	2004-04-08 01:49	609
	merge_lem_rec.con.types.xml.gz	2004-04-08 01:49	204
	merge_lem_rec.con.xml.gz	2004-04-08 01:49	1.3K
	merge_lem_rect.con.body.xml.gz	2004-04-08 01:49	1.4K
	merge_lem_rect.con.types.xml.gz	2004-04-08 01:49	206
	merge_lem_rect.con.xml.gz	2004-04-08 01:49	1.3K
	sort.ind.types.xml.gz	2004-04-08 01:49	187
	sort.ind.xml.gz	2004-04-08 01:49	747
	sort_ind.con.body.xml.gz	2004-04-08 01:49	1.4K
	sort_ind.con.types.xml.gz	2004-04-08 01:49	1.3K
	sort_ind.con.xml.gz	2004-04-08 01:49	837
	sort_inv.con.body.xml.gz	2004-04-08 01:49	4.9K
	sort_inv.con.proof_tree.xml.gz	2004-04-09 18:52	9.9K
	sort_inv.con.types.xml.gz	2004-04-08 01:49	4.9K
	sort_inv.con.xml.gz	2004-04-08 01:49	591
	sort_rec.con.body.xml.gz	2004-04-08 01:49	1.6K
	sort_rec.con.proof_tree.xml.gz	2004-04-09 18:52	5.0K
	sort_rec.con.types.xml.gz	2004-04-08 01:49	386
	sort_rec.con.xml.gz	2004-04-08 01:49	841