Index of /xml/Sophia-Antipolis/Cours-de-Coq/Partial_order_facts

	Name	Last modified	Size	Description
	Parent Directory		-
	Compatible_is_reflexive.con.body.xml.gz	2004-04-08 10:13	1.8K
	Compatible_is_reflexive.con.types.xml.gz	2004-04-08 10:13	2.1K
	Compatible_is_reflexive.con.xml.gz	2004-04-08 10:13	435
	Compatible_is_symmetric.con.body.xml.gz	2004-04-08 10:13	3.3K
	Compatible_is_symmetric.con.types.xml.gz	2004-04-08 10:13	3.7K
	Compatible_is_symmetric.con.xml.gz	2004-04-08 10:13	435
	Conditionally_complete_has_a_bottom.con.body.xml.gz	2004-04-08 10:13	4.6K
	Conditionally_complete_has_a_bottom.con.types.xml.gz	2004-04-08 10:13	4.6K
	Conditionally_complete_has_a_bottom.con.xml.gz	2004-04-08 10:13	642
	Couple_included_in_carrier.con.body.xml.gz	2004-04-08 10:13	1.0K
	Couple_included_in_carrier.con.types.xml.gz	2004-04-08 10:13	1.2K
	Couple_included_in_carrier.con.xml.gz	2004-04-08 10:13	736
	Couple_is_symmetric.con.body.xml.gz	2004-04-08 10:13	1.5K
	Couple_is_symmetric.con.types.xml.gz	2004-04-08 10:13	1.9K
	Couple_is_symmetric.con.xml.gz	2004-04-08 10:13	607
	Empty_set_has_Upper_Bound.con.body.xml.gz	2004-04-08 10:13	2.0K
	Empty_set_has_Upper_Bound.con.types.xml.gz	2004-04-08 10:13	2.3K
	Empty_set_has_Upper_Bound.con.xml.gz	2004-04-08 10:13	574
	Empty_set_has_lub.con.body.xml.gz	2004-04-08 10:13	3.9K
	Empty_set_has_lub.con.types.xml.gz	2004-04-08 10:13	3.8K
	Empty_set_has_lub.con.xml.gz	2004-04-08 10:13	660
	INDEX	2005-07-05 08:12	955
	Lemmas_on_partial_orders/	2005-07-05 08:13	-
	Lub_is_in_Carrier.con.body.xml.gz	2004-04-08 10:13	1.7K
	Lub_is_in_Carrier.con.types.xml.gz	2004-04-08 10:13	1.5K
	Lub_is_in_Carrier.con.xml.gz	2004-04-08 10:13	739
	Rel_of_antisymmetric.con.body.xml.gz	2004-04-08 10:13	1.1K
	Rel_of_antisymmetric.con.types.xml.gz	2004-04-08 10:13	1.2K
	Rel_of_antisymmetric.con.xml.gz	2004-04-08 10:13	444
	Rel_of_reflexive.con.body.xml.gz	2004-04-08 10:13	1.1K
	Rel_of_reflexive.con.types.xml.gz	2004-04-08 10:13	1.3K
	Rel_of_reflexive.con.xml.gz	2004-04-08 10:13	474
	Rel_of_transitive.con.body.xml.gz	2004-04-08 10:13	1.1K
	Rel_of_transitive.con.types.xml.gz	2004-04-08 10:13	1.2K
	Rel_of_transitive.con.xml.gz	2004-04-08 10:13	439
	Singleton_has_lub.con.body.xml.gz	2004-04-08 10:13	1.8K
	Singleton_has_lub.con.types.xml.gz	2004-04-08 10:13	1.8K
	Singleton_has_lub.con.xml.gz	2004-04-08 10:13	645
	Upper_downward_stable.con.body.xml.gz	2004-04-08 10:13	1.5K
	Upper_downward_stable.con.types.xml.gz	2004-04-08 10:13	1.6K
	Upper_downward_stable.con.xml.gz	2004-04-08 10:13	852