Index of /xml/Coq/Arith/Compare_dec

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:10	759
	dec_ge.con.body.xml.gz	2004-04-08 01:28	403
	dec_ge.con.proof_tree.xml.gz	2004-04-09 18:52	1.0K
	dec_ge.con.types.xml.gz	2004-04-08 01:28	570
	dec_ge.con.xml.gz	2004-04-08 01:28	417
	dec_gt.con.body.xml.gz	2004-04-08 01:28	403
	dec_gt.con.proof_tree.xml.gz	2004-04-09 18:52	1.0K
	dec_gt.con.types.xml.gz	2004-04-08 01:28	569
	dec_gt.con.xml.gz	2004-04-08 01:28	417
	dec_le.con.body.xml.gz	2004-04-08 01:28	1.0K
	dec_le.con.proof_tree.xml.gz	2004-04-09 18:52	2.1K
	dec_le.con.types.xml.gz	2004-04-08 01:28	1.0K
	dec_le.con.xml.gz	2004-04-08 01:28	418
	dec_lt.con.body.xml.gz	2004-04-08 01:28	439
	dec_lt.con.proof_tree.xml.gz	2004-04-09 18:52	1.0K
	dec_lt.con.types.xml.gz	2004-04-08 01:28	605
	dec_lt.con.xml.gz	2004-04-08 01:28	418
	gt_eq_gt_dec.con.body.xml.gz	2004-04-08 01:28	252
	gt_eq_gt_dec.con.proof_tree.xml.gz	2004-04-09 18:52	890
	gt_eq_gt_dec.con.types.xml.gz	2004-04-08 01:28	207
	gt_eq_gt_dec.con.xml.gz	2004-04-08 01:28	513
	le_ge_dec.con.body.xml.gz	2004-04-08 01:28	964
	le_ge_dec.con.proof_tree.xml.gz	2004-04-09 18:52	1.3K
	le_ge_dec.con.types.xml.gz	2004-04-08 01:28	390
	le_ge_dec.con.xml.gz	2004-04-08 01:28	441
	le_gt_dec.con.body.xml.gz	2004-04-08 01:28	245
	le_gt_dec.con.proof_tree.xml.gz	2004-04-09 18:52	816
	le_gt_dec.con.types.xml.gz	2004-04-08 01:28	202
	le_gt_dec.con.xml.gz	2004-04-08 01:28	442
	le_le_S_dec.con.body.xml.gz	2004-04-08 01:28	248
	le_le_S_dec.con.proof_tree.xml.gz	2004-04-09 18:52	894
	le_le_S_dec.con.types.xml.gz	2004-04-08 01:28	205
	le_le_S_dec.con.xml.gz	2004-04-08 01:28	467
	le_lt_dec.con.body.xml.gz	2004-04-08 01:28	2.1K
	le_lt_dec.con.proof_tree.xml.gz	2004-04-09 18:52	2.6K
	le_lt_dec.con.types.xml.gz	2004-04-08 01:28	938
	le_lt_dec.con.xml.gz	2004-04-08 01:28	446
	le_lt_eq_dec.con.body.xml.gz	2004-04-08 01:28	1.4K
	le_lt_eq_dec.con.proof_tree.xml.gz	2004-04-09 18:52	2.0K
	le_lt_eq_dec.con.types.xml.gz	2004-04-08 01:28	733
	le_lt_eq_dec.con.xml.gz	2004-04-08 01:28	508
	lt_eq_lt_dec.con.body.xml.gz	2004-04-08 01:28	4.4K
	lt_eq_lt_dec.con.proof_tree.xml.gz	2004-04-09 18:52	4.1K
	lt_eq_lt_dec.con.types.xml.gz	2004-04-08 01:28	1.2K
	lt_eq_lt_dec.con.xml.gz	2004-04-08 01:28	509
	not_eq.con.body.xml.gz	2004-04-08 01:28	1.9K
	not_eq.con.proof_tree.xml.gz	2004-04-09 18:52	2.7K
	not_eq.con.types.xml.gz	2004-04-08 01:28	1.6K
	not_eq.con.xml.gz	2004-04-08 01:28	511
	not_ge.con.body.xml.gz	2004-04-08 01:28	501
	not_ge.con.proof_tree.xml.gz	2004-04-09 18:52	916
	not_ge.con.types.xml.gz	2004-04-08 01:28	660
	not_ge.con.xml.gz	2004-04-08 01:28	453
	not_gt.con.body.xml.gz	2004-04-08 01:28	1.1K
	not_gt.con.proof_tree.xml.gz	2004-04-09 18:52	1.5K
	not_gt.con.types.xml.gz	2004-04-08 01:28	1.0K
	not_gt.con.xml.gz	2004-04-08 01:28	455
	not_le.con.body.xml.gz	2004-04-08 01:28	1.1K
	not_le.con.proof_tree.xml.gz	2004-04-09 18:52	1.5K
	not_le.con.types.xml.gz	2004-04-08 01:28	1.0K
	not_le.con.xml.gz	2004-04-08 01:28	454
	not_lt.con.body.xml.gz	2004-04-08 01:28	499
	not_lt.con.proof_tree.xml.gz	2004-04-09 18:52	919
	not_lt.con.types.xml.gz	2004-04-08 01:28	657
	not_lt.con.xml.gz	2004-04-08 01:28	453
	zerop.con.body.xml.gz	2004-04-08 01:28	895
	zerop.con.proof_tree.xml.gz	2004-04-09 18:52	1.1K
	zerop.con.types.xml.gz	2004-04-08 01:28	553
	zerop.con.xml.gz	2004-04-08 01:28	447