Index of /xml/Coq/Arith/Max

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:10	424
	le_max_l.con.body.xml.gz	2004-04-08 01:28	1.4K
	le_max_l.con.proof_tree.xml.gz	2004-04-09 18:52	3.2K
	le_max_l.con.types.xml.gz	2004-04-08 01:28	2.1K
	le_max_l.con.xml.gz	2004-04-08 01:28	427
	le_max_r.con.body.xml.gz	2004-04-08 01:28	1.4K
	le_max_r.con.proof_tree.xml.gz	2004-04-09 18:52	2.4K
	le_max_r.con.types.xml.gz	2004-04-08 01:28	2.1K
	le_max_r.con.xml.gz	2004-04-08 01:28	425
	max.con.body.xml.gz	2004-04-08 01:28	808
	max.con.types.xml.gz	2004-04-08 01:28	187
	max.con.xml.gz	2004-04-08 01:28	282
	max_SS.con.body.xml.gz	2004-04-08 01:28	486
	max_SS.con.proof_tree.xml.gz	2004-04-09 18:52	880
	max_SS.con.types.xml.gz	2004-04-08 01:28	752
	max_SS.con.xml.gz	2004-04-08 01:28	504
	max_case.con.body.xml.gz	2004-04-08 01:28	2.0K
	max_case.con.proof_tree.xml.gz	2004-04-09 18:52	4.0K
	max_case.con.types.xml.gz	2004-04-08 01:28	196
	max_case.con.xml.gz	2004-04-08 01:28	514
	max_case2.con.body.xml.gz	2004-04-08 01:28	2.1K
	max_case2.con.proof_tree.xml.gz	2004-04-09 18:52	4.1K
	max_case2.con.types.xml.gz	2004-04-08 01:28	3.0K
	max_case2.con.xml.gz	2004-04-08 01:28	521
	max_comm.con.body.xml.gz	2004-04-08 01:28	1.5K
	max_comm.con.proof_tree.xml.gz	2004-04-09 18:52	2.7K
	max_comm.con.types.xml.gz	2004-04-08 01:28	2.1K
	max_comm.con.xml.gz	2004-04-08 01:28	448
	max_dec.con.body.xml.gz	2004-04-08 01:28	4.1K
	max_dec.con.proof_tree.xml.gz	2004-04-09 18:52	5.4K
	max_dec.con.types.xml.gz	2004-04-08 01:28	931
	max_dec.con.xml.gz	2004-04-08 01:28	504
	max_l.con.body.xml.gz	2004-04-08 01:28	2.0K
	max_l.con.proof_tree.xml.gz	2004-04-09 18:52	3.1K
	max_l.con.types.xml.gz	2004-04-08 01:28	2.6K
	max_l.con.xml.gz	2004-04-08 01:28	477
	max_r.con.body.xml.gz	2004-04-08 01:28	2.0K
	max_r.con.proof_tree.xml.gz	2004-04-09 18:52	3.0K
	max_r.con.types.xml.gz	2004-04-08 01:28	2.5K
	max_r.con.xml.gz	2004-04-08 01:28	475