Index of /xml/Coq/Arith/Compare

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:10	329
	Pcompare.con.body.xml.gz	2004-04-08 01:28	249
	Pcompare.con.types.xml.gz	2004-04-08 01:28	196
	Pcompare.con.xml.gz	2004-04-08 01:28	502
	discrete_nat.con.body.xml.gz	2004-04-08 01:28	3.5K
	discrete_nat.con.proof_tree.xml.gz	2004-04-09 18:52	2.5K
	discrete_nat.con.types.xml.gz	2004-04-08 01:28	4.1K
	discrete_nat.con.xml.gz	2004-04-08 01:28	680
	le_dec.con.body.xml.gz	2004-04-08 01:28	241
	le_dec.con.proof_tree.xml.gz	2004-04-09 18:52	732
	le_dec.con.types.xml.gz	2004-04-08 01:28	195
	le_dec.con.xml.gz	2004-04-08 01:28	426
	le_decide.con.body.xml.gz	2004-04-08 01:28	249
	le_decide.con.proof_tree.xml.gz	2004-04-09 18:52	732
	le_decide.con.types.xml.gz	2004-04-08 01:28	200
	le_decide.con.xml.gz	2004-04-08 01:28	437
	le_le_S_eq.con.body.xml.gz	2004-04-08 01:28	253
	le_le_S_eq.con.proof_tree.xml.gz	2004-04-09 18:52	913
	le_le_S_eq.con.types.xml.gz	2004-04-08 01:28	674
	le_le_S_eq.con.xml.gz	2004-04-08 01:28	519
	le_or_le_S.con.body.xml.gz	2004-04-08 01:28	251
	le_or_le_S.con.types.xml.gz	2004-04-08 01:28	202
	le_or_le_S.con.xml.gz	2004-04-08 01:28	469
	lt_or_eq.con.body.xml.gz	2004-04-08 01:28	473
	lt_or_eq.con.types.xml.gz	2004-04-08 01:28	198
	lt_or_eq.con.xml.gz	2004-04-08 01:28	302