Index of /xml/Coq/ZArith/Zcomplements

	Name	Last modified	Size	Description
	Parent Directory		-
	Zlength_properties/	2005-07-05 08:13	-
	floor.con.types.xml.gz	2004-04-08 01:29	196
	Zlength.con.types.xml.gz	2004-04-08 01:30	199
	floor_pos.con.types.xml.gz	2004-04-08 01:29	204
	Zlength_aux.con.types.xml.gz	2004-04-08 01:30	208
	floor_pos.con.xml.gz	2004-04-08 01:29	289
	floor.con.xml.gz	2004-04-08 01:29	290
	Zlength.con.body.xml.gz	2004-04-08 01:30	305
	Zlength_nil.con.body.xml.gz	2004-04-08 01:30	352
	Zlength.con.xml.gz	2004-04-08 01:30	388
	Zlength_aux.con.xml.gz	2004-04-08 01:30	405
	sqr_pos.con.xml.gz	2004-04-08 01:30	410
	floor.con.body.xml.gz	2004-04-08 01:29	411
	floor_gt0.con.body.xml.gz	2004-04-08 01:29	419
	floor_gt0.con.xml.gz	2004-04-08 01:29	424
	Zlength_nil.con.xml.gz	2004-04-08 01:30	445
	Zlength_nil.con.types.xml.gz	2004-04-08 01:30	501
	Zcase_sign.con.xml.gz	2004-04-08 01:30	563
	Zlength_correct.con.xml.gz	2004-04-08 01:30	576
	floor_ok.con.xml.gz	2004-04-08 01:29	581
	floor_gt0.con.types.xml.gz	2004-04-08 01:29	588
	Z_lt_abs_rec.con.xml.gz	2004-04-08 01:29	616
	Zlength_nil_inv.con.xml.gz	2004-04-08 01:30	617
	Zlength_cons.con.xml.gz	2004-04-08 01:30	625
	Z_lt_abs_induction.con.xml.gz	2004-04-08 01:30	631
	floor_pos.con.body.xml.gz	2004-04-08 01:29	703
	two_or_two_plus_one.con.xml.gz	2004-04-08 01:29	758
	Zlength_nil.con.proof_tree.xml.gz	2004-04-09 18:52	771
	floor_gt0.con.proof_tree.xml.gz	2004-04-09 18:52	791
	Zcase_sign.con.proof_tree.xml.gz	2004-04-09 18:52	897
	Zlength_aux.con.body.xml.gz	2004-04-08 01:30	902
	Zlength_correct_subproof.con.xml.gz	2004-04-08 01:30	935
	Z_lt_abs_induction_subproof.con.xml.gz	2004-04-08 01:29	959
	Z_lt_abs_rec_subproof.con.xml.gz	2004-04-08 01:29	961
	INDEX	2005-07-05 08:11	1.0K
	Z_lt_abs_rec.con.types.xml.gz	2004-04-08 01:29	1.0K
	Zcase_sign.con.types.xml.gz	2004-04-08 01:30	1.4K
	Zlength_cons.con.types.xml.gz	2004-04-08 01:30	1.5K
	Zlength_cons.con.body.xml.gz	2004-04-08 01:30	1.6K
	floor_ok.con.proof_tree.xml.gz	2004-04-09 18:52	1.6K
	Zcase_sign.con.body.xml.gz	2004-04-08 01:30	1.7K
	Zlength_cons.con.proof_tree.xml.gz	2004-04-09 18:52	1.9K
	Zlength_correct.con.body.xml.gz	2004-04-08 01:30	2.4K
	sqr_pos.con.proof_tree.xml.gz	2004-04-09 18:52	2.7K
	Z_lt_abs_rec_subproof.con.types.xml.gz	2004-04-08 01:29	3.0K
	Z_lt_abs_induction_subproof.con.types.xml.gz	2004-04-08 01:29	3.0K
	Z_lt_abs_induction_subproof.con.body.xml.gz	2004-04-08 01:29	3.4K
	Z_lt_abs_rec_subproof.con.body.xml.gz	2004-04-08 01:29	3.4K
	Zlength_correct.con.types.xml.gz	2004-04-08 01:30	3.5K
	Zlength_correct_subproof.con.proof_tree.xml.gz	2004-04-09 18:52	3.8K
	Zlength_nil_inv.con.proof_tree.xml.gz	2004-04-09 18:52	4.3K
	Zlength_correct.con.proof_tree.xml.gz	2004-04-09 18:52	4.9K
	Z_lt_abs_induction.con.types.xml.gz	2004-04-08 01:30	5.1K
	Zlength_nil_inv.con.types.xml.gz	2004-04-08 01:30	5.3K
	Zlength_nil_inv.con.body.xml.gz	2004-04-08 01:30	5.7K
	Z_lt_abs_induction.con.body.xml.gz	2004-04-08 01:30	6.1K
	Z_lt_abs_rec.con.body.xml.gz	2004-04-08 01:29	6.5K
	Zlength_correct_subproof.con.types.xml.gz	2004-04-08 01:30	7.2K
	Z_lt_abs_induction_subproof.con.proof_tree.xml.gz	2004-04-09 18:52	7.3K
	Z_lt_abs_rec_subproof.con.proof_tree.xml.gz	2004-04-09 18:52	7.7K
	two_or_two_plus_one.con.proof_tree.xml.gz	2004-04-09 18:52	8.0K
	Zlength_correct_subproof.con.body.xml.gz	2004-04-08 01:30	8.0K
	two_or_two_plus_one.con.types.xml.gz	2004-04-08 01:29	9.4K
	Z_lt_abs_induction.con.proof_tree.xml.gz	2004-04-09 18:52	9.6K
	Z_lt_abs_rec.con.proof_tree.xml.gz	2004-04-09 18:52	10K
	two_or_two_plus_one.con.body.xml.gz	2004-04-08 01:29	13K
	sqr_pos.con.types.xml.gz	2004-04-08 01:30	16K
	sqr_pos.con.body.xml.gz	2004-04-08 01:30	17K
	floor_ok.con.types.xml.gz	2004-04-08 01:29	50K
	floor_ok.con.body.xml.gz	2004-04-08 01:29	62K