Index of /xml/Coq/Sets/Permut

	Name	Last modified	Size	Description
	Parent Directory		-
	Axiomatisation/	2005-07-05 08:13	-
	INDEX	2005-07-05 08:11	343
	comm_left.con.body.xml.gz	2004-04-08 01:32	522
	comm_left.con.proof_tree.xml.gz	2004-04-09 18:52	1.2K
	comm_left.con.types.xml.gz	2004-04-08 01:32	677
	comm_left.con.xml.gz	2004-04-08 01:32	514
	comm_right.con.body.xml.gz	2004-04-08 01:32	523
	comm_right.con.proof_tree.xml.gz	2004-04-09 18:52	1.2K
	comm_right.con.types.xml.gz	2004-04-08 01:32	679
	comm_right.con.xml.gz	2004-04-08 01:32	517
	cong_congr.con.body.xml.gz	2004-04-08 01:32	719
	cong_congr.con.proof_tree.xml.gz	2004-04-09 18:52	1.4K
	cong_congr.con.types.xml.gz	2004-04-08 01:32	760
	cong_congr.con.xml.gz	2004-04-08 01:32	561
	op_rotate.con.body.xml.gz	2004-04-08 01:32	770
	op_rotate.con.proof_tree.xml.gz	2004-04-09 18:52	1.9K
	op_rotate.con.types.xml.gz	2004-04-08 01:32	875
	op_rotate.con.xml.gz	2004-04-08 01:32	535
	perm_left.con.body.xml.gz	2004-04-08 01:32	1.0K
	perm_left.con.proof_tree.xml.gz	2004-04-09 18:52	2.6K
	perm_left.con.types.xml.gz	2004-04-08 01:32	1.1K
	perm_left.con.xml.gz	2004-04-08 01:32	527
	perm_right.con.body.xml.gz	2004-04-08 01:32	1.0K
	perm_right.con.proof_tree.xml.gz	2004-04-09 18:52	2.5K
	perm_right.con.types.xml.gz	2004-04-08 01:32	1.1K
	perm_right.con.xml.gz	2004-04-08 01:32	533
	twist.con.body.xml.gz	2004-04-08 01:32	1.3K
	twist.con.proof_tree.xml.gz	2004-04-09 18:52	3.2K
	twist.con.types.xml.gz	2004-04-08 01:32	1.4K
	twist.con.xml.gz	2004-04-08 01:32	590