Index of /xml/Coq/Arith/Bool_nat

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