Index of /xml/Coq/ZArith/Znat

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:11	636
	Zpos_eq_Z_of_nat_o_nat_of_P.con.body.xml.gz	2004-04-08 01:29	3.5K
	Zpos_eq_Z_of_nat_o_nat_of_P.con.proof_tree.xml.gz	2004-04-09 18:52	5.8K
	Zpos_eq_Z_of_nat_o_nat_of_P.con.types.xml.gz	2004-04-08 01:29	3.8K
	Zpos_eq_Z_of_nat_o_nat_of_P.con.xml.gz	2004-04-08 01:29	498
	inj_S.con.body.xml.gz	2004-04-08 01:29	1.1K
	inj_S.con.proof_tree.xml.gz	2004-04-09 18:52	684
	inj_S.con.types.xml.gz	2004-04-08 01:29	1.4K
	inj_S.con.xml.gz	2004-04-08 01:29	474
	inj_eq.con.body.xml.gz	2004-04-08 01:29	673
	inj_eq.con.proof_tree.xml.gz	2004-04-09 18:52	960
	inj_eq.con.types.xml.gz	2004-04-08 01:29	638
	inj_eq.con.xml.gz	2004-04-08 01:29	487
	inj_ge.con.body.xml.gz	2004-04-08 01:29	551
	inj_ge.con.proof_tree.xml.gz	2004-04-09 18:52	1.3K
	inj_ge.con.types.xml.gz	2004-04-08 01:29	688
	inj_ge.con.xml.gz	2004-04-08 01:29	476
	inj_gt.con.body.xml.gz	2004-04-08 01:29	551
	inj_gt.con.proof_tree.xml.gz	2004-04-09 18:52	1.3K
	inj_gt.con.types.xml.gz	2004-04-08 01:29	682
	inj_gt.con.xml.gz	2004-04-08 01:29	476
	inj_le.con.body.xml.gz	2004-04-08 01:29	2.6K
	inj_le.con.proof_tree.xml.gz	2004-04-09 18:52	3.5K
	inj_le.con.types.xml.gz	2004-04-08 01:29	2.5K
	inj_le.con.xml.gz	2004-04-08 01:29	474
	inj_lt.con.body.xml.gz	2004-04-08 01:29	890
	inj_lt.con.proof_tree.xml.gz	2004-04-09 18:52	1.7K
	inj_lt.con.types.xml.gz	2004-04-08 01:29	936
	inj_lt.con.xml.gz	2004-04-08 01:29	477
	inj_minus1.con.body.xml.gz	2004-04-08 01:29	2.2K
	inj_minus1.con.proof_tree.xml.gz	2004-04-09 18:52	2.0K
	inj_minus1.con.types.xml.gz	2004-04-08 01:29	2.0K
	inj_minus1.con.xml.gz	2004-04-08 01:29	547
	inj_minus2.con.body.xml.gz	2004-04-08 01:29	772
	inj_minus2.con.proof_tree.xml.gz	2004-04-09 18:52	1.4K
	inj_minus2.con.types.xml.gz	2004-04-08 01:29	836
	inj_minus2.con.xml.gz	2004-04-08 01:29	531
	inj_mult.con.body.xml.gz	2004-04-08 01:29	2.5K
	inj_mult.con.proof_tree.xml.gz	2004-04-09 18:52	806
	inj_mult.con.types.xml.gz	2004-04-08 01:29	2.6K
	inj_mult.con.xml.gz	2004-04-08 01:29	512
	inj_neq.con.body.xml.gz	2004-04-08 01:29	4.6K
	inj_neq.con.proof_tree.xml.gz	2004-04-09 18:52	5.4K
	inj_neq.con.types.xml.gz	2004-04-08 01:29	5.1K
	inj_neq.con.xml.gz	2004-04-08 01:29	480
	inj_plus.con.body.xml.gz	2004-04-08 01:29	3.5K
	inj_plus.con.proof_tree.xml.gz	2004-04-09 18:52	806
	inj_plus.con.types.xml.gz	2004-04-08 01:29	3.8K
	inj_plus.con.xml.gz	2004-04-08 01:29	509
	intro_Z.con.body.xml.gz	2004-04-08 01:29	2.5K
	intro_Z.con.proof_tree.xml.gz	2004-04-09 18:52	3.2K
	intro_Z.con.types.xml.gz	2004-04-08 01:29	2.6K
	intro_Z.con.xml.gz	2004-04-08 01:29	642
	neq.con.body.xml.gz	2004-04-08 01:29	423
	neq.con.types.xml.gz	2004-04-08 01:29	188
	neq.con.xml.gz	2004-04-08 01:29	298