Index of /xml/Coq/ZArith/ZArith_dec

	Name	Last modified	Size	Description
	Parent Directory		-
	Z_dec.con.proof_tree.xml.gz	2004-04-09 18:52	3.8K
	Z_eq_dec.con.body.xml.gz	2004-04-08 01:29	3.6K
	Z_eq_dec.con.proof_tree.xml.gz	2004-04-09 18:52	3.5K
	not_Zeq_inf.con.proof_tree.xml.gz	2004-04-09 18:52	3.4K
	Z_eq_dec.con.types.xml.gz	2004-04-08 01:29	2.9K
	Z_ge_dec.con.proof_tree.xml.gz	2004-04-09 18:52	2.7K
	Z_le_dec.con.proof_tree.xml.gz	2004-04-09 18:52	2.7K
	Z_le_lt_eq_dec.con.proof_tree.xml.gz	2004-04-09 18:52	2.6K
	Zlt_cotrans.con.proof_tree.xml.gz	2004-04-09 18:52	2.5K
	Zlt_cotrans_neg.con.proof_tree.xml.gz	2004-04-09 18:52	2.5K
	Z_lt_dec.con.proof_tree.xml.gz	2004-04-09 18:52	2.5K
	Z_gt_dec.con.proof_tree.xml.gz	2004-04-09 18:52	2.5K
	Zlt_cotrans_pos.con.proof_tree.xml.gz	2004-04-09 18:52	2.4K
	Z_ge_dec.con.body.xml.gz	2004-04-08 01:29	2.4K
	Z_le_dec.con.body.xml.gz	2004-04-08 01:29	2.4K
	Zcompare_rec.con.proof_tree.xml.gz	2004-04-09 18:52	2.4K
	Z_le_lt_eq_dec.con.body.xml.gz	2004-04-08 01:29	2.4K
	Z_dec'.con.proof_tree.xml.gz	2004-04-09 18:52	2.3K
	Z_lt_dec.con.body.xml.gz	2004-04-08 01:29	2.2K
	Z_gt_dec.con.body.xml.gz	2004-04-08 01:29	2.1K
	Z_dec.con.body.xml.gz	2004-04-08 01:29	2.1K
	Z_le_gt_dec.con.proof_tree.xml.gz	2004-04-09 18:52	1.9K
	Z_ge_lt_dec.con.proof_tree.xml.gz	2004-04-09 18:52	1.9K
	Z_le_lt_eq_dec.con.types.xml.gz	2004-04-08 01:29	1.9K
	Z_lt_le_dec.con.proof_tree.xml.gz	2004-04-09 18:52	1.8K
	not_Zeq_inf.con.body.xml.gz	2004-04-08 01:29	1.8K
	Dcompare_inf.con.body.xml.gz	2004-04-08 01:29	1.6K
	Zcompare_rec.con.body.xml.gz	2004-04-08 01:29	1.6K
	Dcompare_inf.con.proof_tree.xml.gz	2004-04-09 18:52	1.4K
	Z_ge_dec.con.types.xml.gz	2004-04-08 01:29	1.3K
	Zlt_cotrans_pos.con.body.xml.gz	2004-04-08 01:29	1.3K
	Z_le_dec.con.types.xml.gz	2004-04-08 01:29	1.3K
	Zlt_cotrans_neg.con.body.xml.gz	2004-04-08 01:29	1.3K
	Z_le_gt_dec.con.body.xml.gz	2004-04-08 01:29	1.2K
	Z_ge_lt_dec.con.body.xml.gz	2004-04-08 01:29	1.2K
	Z_dec'.con.body.xml.gz	2004-04-08 01:29	1.1K
	Z_lt_dec.con.types.xml.gz	2004-04-08 01:29	1.1K
	Zlt_cotrans.con.body.xml.gz	2004-04-08 01:29	1.1K
	Z_gt_dec.con.types.xml.gz	2004-04-08 01:29	1.1K
	INDEX	2005-07-05 08:11	1.1K
	Z_zerop.con.proof_tree.xml.gz	2004-04-09 18:52	972
	Z_lt_le_dec.con.body.xml.gz	2004-04-08 01:29	884
	Z_lt_ge_dec.con.proof_tree.xml.gz	2004-04-09 18:52	800
	Z_gt_le_dec.con.proof_tree.xml.gz	2004-04-09 18:52	799
	Zcompare_rec.con.xml.gz	2004-04-08 01:29	670
	Z_noteq_dec.con.body.xml.gz	2004-04-08 01:29	609
	not_Zeq_inf.con.types.xml.gz	2004-04-08 01:29	597
	Z_notzerop.con.body.xml.gz	2004-04-08 01:29	575
	Zlt_cotrans_neg.con.xml.gz	2004-04-08 01:29	543
	Zlt_cotrans_pos.con.xml.gz	2004-04-08 01:29	540
	Zlt_cotrans_pos.con.types.xml.gz	2004-04-08 01:29	523
	not_Zeq_inf.con.xml.gz	2004-04-08 01:29	520
	Zlt_cotrans_neg.con.types.xml.gz	2004-04-08 01:29	520
	Zlt_cotrans.con.xml.gz	2004-04-08 01:29	510
	Dcompare_inf.con.xml.gz	2004-04-08 01:29	507
	Z_dec'.con.xml.gz	2004-04-08 01:29	502
	Z_dec.con.xml.gz	2004-04-08 01:29	500
	Z_noteq_dec.con.xml.gz	2004-04-08 01:29	493
	Z_notzerop.con.xml.gz	2004-04-08 01:29	491
	Z_le_lt_eq_dec.con.xml.gz	2004-04-08 01:29	489
	Z_zerop.con.xml.gz	2004-04-08 01:29	477
	Z_dec.con.types.xml.gz	2004-04-08 01:29	437
	Dcompare_inf.con.types.xml.gz	2004-04-08 01:29	424
	Z_zerop.con.body.xml.gz	2004-04-08 01:29	423
	Z_eq_dec.con.xml.gz	2004-04-08 01:29	418
	Z_le_dec.con.xml.gz	2004-04-08 01:29	407
	Z_ge_dec.con.xml.gz	2004-04-08 01:29	407
	Z_lt_dec.con.xml.gz	2004-04-08 01:29	405
	Z_gt_dec.con.xml.gz	2004-04-08 01:29	405
	Z_lt_le_dec.con.xml.gz	2004-04-08 01:29	387
	Z_lt_ge_dec.con.xml.gz	2004-04-08 01:29	386
	Z_le_gt_dec.con.xml.gz	2004-04-08 01:29	386
	Z_gt_le_dec.con.xml.gz	2004-04-08 01:29	386
	Z_ge_lt_dec.con.xml.gz	2004-04-08 01:29	386
	Zlt_cotrans.con.types.xml.gz	2004-04-08 01:29	369
	Z_lt_le_dec.con.types.xml.gz	2004-04-08 01:29	331
	Z_le_gt_dec.con.types.xml.gz	2004-04-08 01:29	331
	Z_ge_lt_dec.con.types.xml.gz	2004-04-08 01:29	331
	Z_lt_ge_dec.con.body.xml.gz	2004-04-08 01:29	268
	Z_gt_le_dec.con.body.xml.gz	2004-04-08 01:29	268
	Zcompare_rec.con.types.xml.gz	2004-04-08 01:29	207
	Z_notzerop.con.types.xml.gz	2004-04-08 01:29	204
	Z_noteq_dec.con.types.xml.gz	2004-04-08 01:29	204
	Z_lt_ge_dec.con.types.xml.gz	2004-04-08 01:29	204
	Z_gt_le_dec.con.types.xml.gz	2004-04-08 01:29	204
	Z_zerop.con.types.xml.gz	2004-04-08 01:29	199
	Z_dec'.con.types.xml.gz	2004-04-08 01:29	197
	decidability/	2005-07-05 08:13	-