Index of /xml/Coq/Sorting/Permutation

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:11	485
	defs/	2005-07-05 08:13	-
	list_contents.con.body.xml.gz	2004-04-08 01:49	933
	list_contents.con.types.xml.gz	2004-04-08 01:49	210
	list_contents.con.xml.gz	2004-04-08 01:49	430
	list_contents_app.con.body.xml.gz	2004-04-08 01:49	2.1K
	list_contents_app.con.proof_tree.xml.gz	2004-04-09 18:52	5.8K
	list_contents_app.con.types.xml.gz	2004-04-08 01:49	3.4K
	list_contents_app.con.xml.gz	2004-04-08 01:49	686
	permut_app.con.body.xml.gz	2004-04-08 01:49	1.7K
	permut_app.con.proof_tree.xml.gz	2004-04-09 18:52	5.5K
	permut_app.con.types.xml.gz	2004-04-08 01:49	2.3K
	permut_app.con.xml.gz	2004-04-08 01:49	694
	permut_cons.con.body.xml.gz	2004-04-08 01:49	807
	permut_cons.con.proof_tree.xml.gz	2004-04-09 18:52	1.8K
	permut_cons.con.types.xml.gz	2004-04-08 01:49	1.0K
	permut_cons.con.xml.gz	2004-04-08 01:49	648
	permut_middle.con.body.xml.gz	2004-04-08 01:49	2.4K
	permut_middle.con.proof_tree.xml.gz	2004-04-09 18:52	8.2K
	permut_middle.con.types.xml.gz	2004-04-08 01:49	4.8K
	permut_middle.con.xml.gz	2004-04-08 01:49	691
	permut_refl.con.body.xml.gz	2004-04-08 01:49	634
	permut_refl.con.proof_tree.xml.gz	2004-04-09 18:52	2.3K
	permut_refl.con.types.xml.gz	2004-04-08 01:49	862
	permut_refl.con.xml.gz	2004-04-08 01:49	468
	permut_right.con.body.xml.gz	2004-04-08 01:49	725
	permut_right.con.proof_tree.xml.gz	2004-04-09 18:52	3.5K
	permut_right.con.types.xml.gz	2004-04-08 01:49	1.2K
	permut_right.con.xml.gz	2004-04-08 01:49	644
	permut_tran.con.body.xml.gz	2004-04-08 01:49	795
	permut_tran.con.proof_tree.xml.gz	2004-04-09 18:52	3.4K
	permut_tran.con.types.xml.gz	2004-04-08 01:49	1.0K
	permut_tran.con.xml.gz	2004-04-08 01:49	578
	permutation.con.body.xml.gz	2004-04-08 01:49	575
	permutation.con.types.xml.gz	2004-04-08 01:49	199
	permutation.con.xml.gz	2004-04-08 01:49	423