Index of /xml/Coq/ZArith/Wf_Z

	Name	Last modified	Size	Description
	Parent Directory		-
	Efficient_Rec/	2005-07-05 08:13	-
	INDEX	2005-07-05 08:11	610
	ZL4_inf.con.body.xml.gz	2004-04-08 01:29	4.0K
	ZL4_inf.con.proof_tree.xml.gz	2004-04-09 18:52	738
	ZL4_inf.con.types.xml.gz	2004-04-08 01:29	2.5K
	ZL4_inf.con.xml.gz	2004-04-08 01:29	527
	Z_lt_induction.con.body.xml.gz	2004-04-08 01:29	448
	Z_lt_induction.con.proof_tree.xml.gz	2004-04-09 18:52	1.8K
	Z_lt_induction.con.types.xml.gz	2004-04-08 01:29	892
	Z_lt_induction.con.xml.gz	2004-04-08 01:29	719
	Z_lt_rec.con.body.xml.gz	2004-04-08 01:29	6.9K
	Z_lt_rec.con.proof_tree.xml.gz	2004-04-09 18:52	6.8K
	Z_lt_rec.con.types.xml.gz	2004-04-08 01:29	1.6K
	Z_lt_rec.con.xml.gz	2004-04-08 01:29	705
	Z_of_nat_complete.con.body.xml.gz	2004-04-08 01:29	3.5K
	Z_of_nat_complete.con.proof_tree.xml.gz	2004-04-09 18:52	6.0K
	Z_of_nat_complete.con.types.xml.gz	2004-04-08 01:29	4.0K
	Z_of_nat_complete.con.xml.gz	2004-04-08 01:29	557
	Z_of_nat_complete_inf.con.body.xml.gz	2004-04-08 01:29	3.6K
	Z_of_nat_complete_inf.con.proof_tree.xml.gz	2004-04-09 18:52	6.5K
	Z_of_nat_complete_inf.con.types.xml.gz	2004-04-08 01:29	2.2K
	Z_of_nat_complete_inf.con.xml.gz	2004-04-08 01:29	571
	Z_of_nat_prop.con.body.xml.gz	2004-04-08 01:29	1.2K
	Z_of_nat_prop.con.proof_tree.xml.gz	2004-04-09 18:52	2.0K
	Z_of_nat_prop.con.types.xml.gz	2004-04-08 01:29	1.1K
	Z_of_nat_prop.con.xml.gz	2004-04-08 01:29	572
	Z_of_nat_set.con.body.xml.gz	2004-04-08 01:29	1.3K
	Z_of_nat_set.con.proof_tree.xml.gz	2004-04-09 18:52	2.3K
	Z_of_nat_set.con.types.xml.gz	2004-04-08 01:29	205
	Z_of_nat_set.con.xml.gz	2004-04-08 01:29	568
	natlike_ind.con.body.xml.gz	2004-04-08 01:29	1.2K
	natlike_ind.con.proof_tree.xml.gz	2004-04-09 18:52	2.3K
	natlike_ind.con.types.xml.gz	2004-04-08 01:29	1.2K
	natlike_ind.con.xml.gz	2004-04-08 01:29	631
	natlike_rec.con.body.xml.gz	2004-04-08 01:29	1.2K
	natlike_rec.con.proof_tree.xml.gz	2004-04-09 18:52	2.4K
	natlike_rec.con.types.xml.gz	2004-04-08 01:29	517
	natlike_rec.con.xml.gz	2004-04-08 01:29	632
	natlike_rec2.con.body.xml.gz	2004-04-08 01:29	2.6K
	natlike_rec2.con.proof_tree.xml.gz	2004-04-09 18:52	5.9K
	natlike_rec2.con.types.xml.gz	2004-04-08 01:29	1.2K
	natlike_rec2.con.xml.gz	2004-04-08 01:29	670
	natlike_rec3.con.body.xml.gz	2004-04-08 01:29	2.4K
	natlike_rec3.con.proof_tree.xml.gz	2004-04-09 18:52	6.0K
	natlike_rec3.con.types.xml.gz	2004-04-08 01:29	1.2K
	natlike_rec3.con.xml.gz	2004-04-08 01:29	676