Index of /xml/Coq/Arith/Factorial

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:10	176
	lt_O_fact.con.proof_tree.xml.gz	2004-04-09 18:52	1.9K
	fact_neq_0.con.proof_tree.xml.gz	2004-04-09 18:52	1.7K
	fact_le.con.proof_tree.xml.gz	2004-04-09 18:52	652
	lt_O_fact.con.xml.gz	2004-04-08 01:28	421
	lt_O_fact.con.types.xml.gz	2004-04-08 01:28	1.1K
	lt_O_fact.con.body.xml.gz	2004-04-08 01:28	775
	fact_neq_0.con.xml.gz	2004-04-08 01:28	453
	fact_neq_0.con.types.xml.gz	2004-04-08 01:28	646
	fact_neq_0.con.body.xml.gz	2004-04-08 01:28	574
	fact_le.con.xml.gz	2004-04-08 01:28	469
	fact_le.con.types.xml.gz	2004-04-08 01:28	1.8K
	fact_le.con.body.xml.gz	2004-04-08 01:28	1.5K
	fact.con.xml.gz	2004-04-08 01:28	277
	fact.con.types.xml.gz	2004-04-08 01:28	192
	fact.con.body.xml.gz	2004-04-08 01:28	686