Index of /xml/Coq/Arith/Bool_nat

	Name	Last modified	Size	Description
	Parent Directory		-
	nat_noteq_bool.con.body.xml.gz	2004-04-08 01:28	716
	nat_noteq_bool.con.xml.gz	2004-04-08 01:28	658
	nat_gt_le_bool.con.body.xml.gz	2004-04-08 01:28	652
	nat_eq_bool.con.xml.gz	2004-04-08 01:28	651
	nat_ge_lt_bool.con.body.xml.gz	2004-04-08 01:28	636
	notzerop_bool.con.xml.gz	2004-04-08 01:28	633
	zerop_bool.con.xml.gz	2004-04-08 01:28	627
	nat_gt_le_bool.con.xml.gz	2004-04-08 01:28	622
	nat_le_gt_bool.con.xml.gz	2004-04-08 01:28	618
	nat_ge_lt_bool.con.xml.gz	2004-04-08 01:28	617
	nat_lt_ge_bool.con.xml.gz	2004-04-08 01:28	616
	lt_ge_dec.con.body.xml.gz	2004-04-08 01:28	559
	notzerop.con.body.xml.gz	2004-04-08 01:28	554
	nat_eq_bool.con.body.xml.gz	2004-04-08 01:28	553
	INDEX	2005-07-05 08:10	532
	nat_le_gt_bool.con.body.xml.gz	2004-04-08 01:28	525
	zerop_bool.con.body.xml.gz	2004-04-08 01:28	518
	notzerop_bool.con.body.xml.gz	2004-04-08 01:28	517
	nat_lt_ge_bool.con.body.xml.gz	2004-04-08 01:28	513
	notzerop.con.xml.gz	2004-04-08 01:28	454
	lt_ge_dec.con.xml.gz	2004-04-08 01:28	437
	nat_noteq_bool.con.types.xml.gz	2004-04-08 01:28	208
	nat_lt_ge_bool.con.types.xml.gz	2004-04-08 01:28	208
	nat_le_gt_bool.con.types.xml.gz	2004-04-08 01:28	208
	nat_gt_le_bool.con.types.xml.gz	2004-04-08 01:28	208
	nat_ge_lt_bool.con.types.xml.gz	2004-04-08 01:28	208
	notzerop_bool.con.types.xml.gz	2004-04-08 01:28	206
	nat_eq_bool.con.types.xml.gz	2004-04-08 01:28	204
	zerop_bool.con.types.xml.gz	2004-04-08 01:28	202
	lt_ge_dec.con.types.xml.gz	2004-04-08 01:28	200
	notzerop.con.types.xml.gz	2004-04-08 01:28	198