Index of /xml/Coq/Arith/Min

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:10	424
	le_min_l.con.body.xml.gz	2004-04-08 01:28	1.4K
	le_min_l.con.proof_tree.xml.gz	2004-04-09 18:52	3.1K
	le_min_l.con.types.xml.gz	2004-04-08 01:28	2.1K
	le_min_l.con.xml.gz	2004-04-08 01:28	421
	le_min_r.con.body.xml.gz	2004-04-08 01:28	1.3K
	le_min_r.con.proof_tree.xml.gz	2004-04-09 18:52	2.3K
	le_min_r.con.types.xml.gz	2004-04-08 01:28	2.0K
	le_min_r.con.xml.gz	2004-04-08 01:28	424
	min.con.body.xml.gz	2004-04-08 01:28	809
	min.con.types.xml.gz	2004-04-08 01:28	185
	min.con.xml.gz	2004-04-08 01:28	281
	min_SS.con.body.xml.gz	2004-04-08 01:28	483
	min_SS.con.proof_tree.xml.gz	2004-04-09 18:52	879
	min_SS.con.types.xml.gz	2004-04-08 01:28	750
	min_SS.con.xml.gz	2004-04-08 01:28	503
	min_case.con.body.xml.gz	2004-04-08 01:28	2.0K
	min_case.con.proof_tree.xml.gz	2004-04-09 18:52	3.9K
	min_case.con.types.xml.gz	2004-04-08 01:28	195
	min_case.con.xml.gz	2004-04-08 01:28	511
	min_case2.con.body.xml.gz	2004-04-08 01:28	2.0K
	min_case2.con.proof_tree.xml.gz	2004-04-09 18:52	4.0K
	min_case2.con.types.xml.gz	2004-04-08 01:28	2.9K
	min_case2.con.xml.gz	2004-04-08 01:28	519
	min_comm.con.body.xml.gz	2004-04-08 01:28	1.5K
	min_comm.con.proof_tree.xml.gz	2004-04-09 18:52	2.6K
	min_comm.con.types.xml.gz	2004-04-08 01:28	2.0K
	min_comm.con.xml.gz	2004-04-08 01:28	451
	min_dec.con.body.xml.gz	2004-04-08 01:28	4.0K
	min_dec.con.proof_tree.xml.gz	2004-04-09 18:52	5.4K
	min_dec.con.types.xml.gz	2004-04-08 01:28	882
	min_dec.con.xml.gz	2004-04-08 01:28	497
	min_l.con.body.xml.gz	2004-04-08 01:28	2.0K
	min_l.con.proof_tree.xml.gz	2004-04-09 18:52	3.0K
	min_l.con.types.xml.gz	2004-04-08 01:28	2.6K
	min_l.con.xml.gz	2004-04-08 01:28	472
	min_r.con.body.xml.gz	2004-04-08 01:28	1.9K
	min_r.con.proof_tree.xml.gz	2004-04-09 18:52	3.0K
	min_r.con.types.xml.gz	2004-04-08 01:28	2.5K
	min_r.con.xml.gz	2004-04-08 01:28	474