Index of /xml/Coq/ZArith/Zmin

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:11	471
	Zle_min_l.con.body.xml.gz	2004-04-08 01:29	2.0K
	Zle_min_l.con.proof_tree.xml.gz	2004-04-09 18:52	3.6K
	Zle_min_l.con.types.xml.gz	2004-04-08 01:29	2.4K
	Zle_min_l.con.xml.gz	2004-04-08 01:29	421
	Zle_min_r.con.body.xml.gz	2004-04-08 01:29	3.0K
	Zle_min_r.con.proof_tree.xml.gz	2004-04-09 18:52	3.5K
	Zle_min_r.con.types.xml.gz	2004-04-08 01:29	3.0K
	Zle_min_r.con.xml.gz	2004-04-08 01:29	421
	Zmax.con.body.xml.gz	2004-04-08 01:29	527
	Zmax.con.types.xml.gz	2004-04-08 01:29	191
	Zmax.con.xml.gz	2004-04-08 01:29	285
	Zmax1.con.body.xml.gz	2004-04-08 01:29	1.6K
	Zmax1.con.proof_tree.xml.gz	2004-04-09 18:52	3.5K
	Zmax1.con.types.xml.gz	2004-04-08 01:29	2.1K
	Zmax1.con.xml.gz	2004-04-08 01:29	410
	Zmax2.con.body.xml.gz	2004-04-08 01:29	2.3K
	Zmax2.con.proof_tree.xml.gz	2004-04-09 18:52	3.9K
	Zmax2.con.types.xml.gz	2004-04-08 01:29	2.8K
	Zmax2.con.xml.gz	2004-04-08 01:29	412
	Zmin.con.body.xml.gz	2004-04-08 01:29	524
	Zmin.con.types.xml.gz	2004-04-08 01:29	189
	Zmin.con.xml.gz	2004-04-08 01:29	285
	Zmin_SS.con.body.xml.gz	2004-04-08 01:29	3.2K
	Zmin_SS.con.proof_tree.xml.gz	2004-04-09 18:52	4.2K
	Zmin_SS.con.types.xml.gz	2004-04-08 01:29	4.3K
	Zmin_SS.con.xml.gz	2004-04-08 01:29	494
	Zmin_case.con.body.xml.gz	2004-04-08 01:29	805
	Zmin_case.con.proof_tree.xml.gz	2004-04-09 18:52	1.6K
	Zmin_case.con.types.xml.gz	2004-04-08 01:29	199
	Zmin_case.con.xml.gz	2004-04-08 01:29	505
	Zmin_n_n.con.body.xml.gz	2004-04-08 01:29	718
	Zmin_n_n.con.proof_tree.xml.gz	2004-04-09 18:52	1.6K
	Zmin_n_n.con.types.xml.gz	2004-04-08 01:29	1.0K
	Zmin_n_n.con.xml.gz	2004-04-08 01:29	409
	Zmin_or.con.body.xml.gz	2004-04-08 01:29	1.0K
	Zmin_or.con.proof_tree.xml.gz	2004-04-09 18:52	2.3K
	Zmin_or.con.types.xml.gz	2004-04-08 01:29	1.7K
	Zmin_or.con.xml.gz	2004-04-08 01:29	494
	Zmin_plus.con.body.xml.gz	2004-04-08 01:29	2.3K
	Zmin_plus.con.proof_tree.xml.gz	2004-04-09 18:52	2.7K
	Zmin_plus.con.types.xml.gz	2004-04-08 01:29	2.8K
	Zmin_plus.con.xml.gz	2004-04-08 01:29	543