Index of /xml/Coq/Sets/Relations_1_facts

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:11	742
	same_relation_is_equivalence.con.proof_tree.xml.gz	2004-04-09 18:52	1.3K
	contains_is_preorder.con.proof_tree.xml.gz	2004-04-09 18:52	762
	cong_transitive_same_relation.con.proof_tree.xml.gz	2004-04-09 18:52	2.4K
	cong_symmetric_same_relation.con.proof_tree.xml.gz	2004-04-09 18:52	3.3K
	cong_reflexive_same_relation.con.proof_tree.xml.gz	2004-04-09 18:52	1.7K
	cong_antisymmetric_same_relation.con.proof_tree.xml.gz	2004-04-09 18:52	3.6K
	Rsym_imp_notRsym.con.proof_tree.xml.gz	2004-04-09 18:52	2.4K
	Equiv_from_preorder.con.proof_tree.xml.gz	2004-04-09 18:52	4.9K
	Equiv_from_order.con.proof_tree.xml.gz	2004-04-09 18:52	1.6K
	same_relation_is_equivalence.con.xml.gz	2004-04-08 01:32	468
	same_relation_is_equivalence.con.types.xml.gz	2004-04-08 01:32	912
	same_relation_is_equivalence.con.body.xml.gz	2004-04-08 01:32	510
	contains_is_preorder.con.xml.gz	2004-04-08 01:32	458
	contains_is_preorder.con.types.xml.gz	2004-04-08 01:32	1.6K
	contains_is_preorder.con.body.xml.gz	2004-04-08 01:32	1.0K
	cong_transitive_same_relation.con.xml.gz	2004-04-08 01:32	596
	cong_transitive_same_relation.con.types.xml.gz	2004-04-08 01:32	1.9K
	cong_transitive_same_relation.con.body.xml.gz	2004-04-08 01:32	1.3K
	cong_symmetric_same_relation.con.xml.gz	2004-04-08 01:32	590
	cong_symmetric_same_relation.con.types.xml.gz	2004-04-08 01:32	2.3K
	cong_symmetric_same_relation.con.body.xml.gz	2004-04-08 01:32	1.6K
	cong_reflexive_same_relation.con.xml.gz	2004-04-08 01:32	592
	cong_reflexive_same_relation.con.types.xml.gz	2004-04-08 01:32	1.5K
	cong_reflexive_same_relation.con.body.xml.gz	2004-04-08 01:32	1.0K
	cong_antisymmetric_same_relation.con.xml.gz	2004-04-08 01:32	600
	cong_antisymmetric_same_relation.con.types.xml.gz	2004-04-08 01:32	2.4K
	cong_antisymmetric_same_relation.con.body.xml.gz	2004-04-08 01:32	1.6K
	Equiv_from_preorder.con.types.xml.gz	2004-04-08 01:32	3.7K
	Equiv_from_order.con.xml.gz	2004-04-08 01:32	654
	Equiv_from_order.con.types.xml.gz	2004-04-08 01:32	1.2K
	Equiv_from_order.con.body.xml.gz	2004-04-08 01:32	1.1K
	Rsym_imp_notRsym.con.xml.gz	2004-04-08 01:32	520
	Rsym_imp_notRsym.con.types.xml.gz	2004-04-08 01:32	1.4K
	Rsym_imp_notRsym.con.body.xml.gz	2004-04-08 01:32	773
	Equiv_from_preorder.con.xml.gz	2004-04-08 01:32	661
	Equiv_from_preorder.con.body.xml.gz	2004-04-08 01:32	2.7K
	Complement.con.xml.gz	2004-04-08 01:32	388
	Complement.con.types.xml.gz	2004-04-08 01:32	208
	Complement.con.body.xml.gz	2004-04-08 01:32	499