Index of /xml/Coq/Sets/Integers

	Name	Last modified	Size	Description
	Parent Directory		-
	Finite_subset_has_lub.con.body.xml.gz	2004-04-08 01:32	7.1K
	Finite_subset_has_lub.con.proof_tree.xml.gz	2004-04-09 18:52	17K
	Finite_subset_has_lub.con.types.xml.gz	2004-04-08 01:32	9.5K
	Finite_subset_has_lub.con.xml.gz	2004-04-08 01:32	666
	INDEX	2005-07-05 08:11	627
	Integers.ind.types.xml.gz	2004-04-08 01:32	193
	Integers.ind.xml.gz	2004-04-08 01:32	445
	Integers_has_no_ub.con.body.xml.gz	2004-04-08 01:32	2.2K
	Integers_has_no_ub.con.proof_tree.xml.gz	2004-04-09 18:52	3.5K
	Integers_has_no_ub.con.types.xml.gz	2004-04-08 01:32	2.1K
	Integers_has_no_ub.con.xml.gz	2004-04-08 01:32	523
	Integers_ind.con.body.xml.gz	2004-04-08 01:32	663
	Integers_ind.con.types.xml.gz	2004-04-08 01:32	564
	Integers_ind.con.xml.gz	2004-04-08 01:32	504
	Integers_infinite.con.body.xml.gz	2004-04-08 01:32	737
	Integers_infinite.con.proof_tree.xml.gz	2004-04-09 18:52	1.6K
	Integers_infinite.con.types.xml.gz	2004-04-08 01:32	1.1K
	Integers_infinite.con.xml.gz	2004-04-08 01:32	385
	le_Order.con.body.xml.gz	2004-04-08 01:32	410
	le_Order.con.proof_tree.xml.gz	2004-04-09 18:52	495
	le_Order.con.types.xml.gz	2004-04-08 01:32	346
	le_Order.con.xml.gz	2004-04-08 01:32	312
	le_antisym.con.body.xml.gz	2004-04-08 01:32	707
	le_antisym.con.proof_tree.xml.gz	2004-04-09 18:52	1.3K
	le_antisym.con.types.xml.gz	2004-04-08 01:32	698
	le_antisym.con.xml.gz	2004-04-08 01:32	337
	le_reflexive.con.body.xml.gz	2004-04-08 01:32	395
	le_reflexive.con.proof_tree.xml.gz	2004-04-09 18:52	777
	le_reflexive.con.types.xml.gz	2004-04-08 01:32	536
	le_reflexive.con.xml.gz	2004-04-08 01:32	336
	le_total_order.con.body.xml.gz	2004-04-08 01:32	1.5K
	le_total_order.con.proof_tree.xml.gz	2004-04-09 18:52	3.4K
	le_total_order.con.types.xml.gz	2004-04-08 01:32	1.9K
	le_total_order.con.xml.gz	2004-04-08 01:32	374
	le_trans.con.body.xml.gz	2004-04-08 01:32	545
	le_trans.con.proof_tree.xml.gz	2004-04-09 18:52	1.4K
	le_trans.con.types.xml.gz	2004-04-08 01:32	629
	le_trans.con.xml.gz	2004-04-08 01:32	332
	nat_po.con.body.xml.gz	2004-04-08 01:32	496
	nat_po.con.proof_tree.xml.gz	2004-04-09 18:52	1.2K
	nat_po.con.types.xml.gz	2004-04-08 01:32	426
	nat_po.con.xml.gz	2004-04-08 01:32	294
	triv_nat.con.body.xml.gz	2004-04-08 01:32	382
	triv_nat.con.proof_tree.xml.gz	2004-04-09 18:52	702
	triv_nat.con.types.xml.gz	2004-04-08 01:32	516
	triv_nat.con.xml.gz	2004-04-08 01:32	426