Index of /xml/Coq/ZArith/Zcompare

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:11	1.6K
	Zcompare_Eq_eq.con.body.xml.gz	2004-04-08 01:29	5.1K
	Zcompare_Eq_eq.con.proof_tree.xml.gz	2004-04-09 18:52	5.5K
	Zcompare_Eq_eq.con.types.xml.gz	2004-04-08 01:29	7.1K
	Zcompare_Eq_eq.con.xml.gz	2004-04-08 01:29	515
	Zcompare_Eq_iff_eq.con.body.xml.gz	2004-04-08 01:29	1.0K
	Zcompare_Eq_iff_eq.con.proof_tree.xml.gz	2004-04-09 18:52	2.1K
	Zcompare_Eq_iff_eq.con.types.xml.gz	2004-04-08 01:29	1.2K
	Zcompare_Eq_iff_eq.con.xml.gz	2004-04-08 01:29	538
	Zcompare_Gt_Lt_antisym.con.body.xml.gz	2004-04-08 01:29	1.6K
	Zcompare_Gt_Lt_antisym.con.proof_tree.xml.gz	2004-04-09 18:52	2.1K
	Zcompare_Gt_Lt_antisym.con.types.xml.gz	2004-04-08 01:29	1.8K
	Zcompare_Gt_Lt_antisym.con.xml.gz	2004-04-08 01:29	564
	Zcompare_Gt_not_Lt.con.body.xml.gz	2004-04-08 01:29	10K
	Zcompare_Gt_not_Lt.con.proof_tree.xml.gz	2004-04-09 18:52	12K
	Zcompare_Gt_not_Lt.con.types.xml.gz	2004-04-08 01:29	11K
	Zcompare_Gt_not_Lt.con.xml.gz	2004-04-08 01:29	643
	Zcompare_Gt_spec.con.body.xml.gz	2004-04-08 01:29	6.2K
	Zcompare_Gt_spec.con.proof_tree.xml.gz	2004-04-09 18:52	12K
	Zcompare_Gt_spec.con.types.xml.gz	2004-04-08 01:29	11K
	Zcompare_Gt_spec.con.xml.gz	2004-04-08 01:29	682
	Zcompare_Gt_trans.con.body.xml.gz	2004-04-08 01:29	14K
	Zcompare_Gt_trans.con.proof_tree.xml.gz	2004-04-09 18:52	25K
	Zcompare_Gt_trans.con.types.xml.gz	2004-04-08 01:29	34K
	Zcompare_Gt_trans.con.xml.gz	2004-04-08 01:29	596
	Zcompare_antisym.con.body.xml.gz	2004-04-08 01:29	2.2K
	Zcompare_antisym.con.proof_tree.xml.gz	2004-04-09 18:52	3.3K
	Zcompare_antisym.con.types.xml.gz	2004-04-08 01:29	3.8K
	Zcompare_antisym.con.xml.gz	2004-04-08 01:29	505
	Zcompare_egal_dec.con.body.xml.gz	2004-04-08 01:29	4.5K
	Zcompare_egal_dec.con.proof_tree.xml.gz	2004-04-09 18:52	8.6K
	Zcompare_egal_dec.con.types.xml.gz	2004-04-08 01:29	5.3K
	Zcompare_egal_dec.con.xml.gz	2004-04-08 01:29	806
	Zcompare_elim.con.body.xml.gz	2004-04-08 01:29	1.4K
	Zcompare_elim.con.proof_tree.xml.gz	2004-04-09 18:52	3.9K
	Zcompare_elim.con.types.xml.gz	2004-04-08 01:29	1.7K
	Zcompare_elim.con.xml.gz	2004-04-08 01:29	771
	Zcompare_eq_case.con.body.xml.gz	2004-04-08 01:29	1.0K
	Zcompare_eq_case.con.proof_tree.xml.gz	2004-04-09 18:52	1.8K
	Zcompare_eq_case.con.types.xml.gz	2004-04-08 01:29	1.0K
	Zcompare_eq_case.con.xml.gz	2004-04-08 01:29	683
	Zcompare_mult_compat.con.body.xml.gz	2004-04-08 01:29	8.3K
	Zcompare_mult_compat.con.proof_tree.xml.gz	2004-04-09 18:52	926
	Zcompare_mult_compat.con.types.xml.gz	2004-04-08 01:29	9.2K
	Zcompare_mult_compat.con.xml.gz	2004-04-08 01:29	599
	Zcompare_opp.con.body.xml.gz	2004-04-08 01:29	2.2K
	Zcompare_opp.con.proof_tree.xml.gz	2004-04-09 18:52	4.6K
	Zcompare_opp.con.types.xml.gz	2004-04-08 01:29	4.0K
	Zcompare_opp.con.xml.gz	2004-04-08 01:29	500
	Zcompare_plus_compat.con.body.xml.gz	2004-04-08 01:29	302
	Zcompare_plus_compat.con.proof_tree.xml.gz	2004-04-09 18:52	1.0K
	Zcompare_plus_compat.con.types.xml.gz	2004-04-08 01:29	561
	Zcompare_plus_compat.con.xml.gz	2004-04-08 01:29	540
	Zcompare_refl.con.body.xml.gz	2004-04-08 01:29	933
	Zcompare_refl.con.proof_tree.xml.gz	2004-04-09 18:52	1.6K
	Zcompare_refl.con.types.xml.gz	2004-04-08 01:29	1.2K
	Zcompare_refl.con.xml.gz	2004-04-08 01:29	445
	Zcompare_succ_Gt.con.body.xml.gz	2004-04-08 01:29	1.0K
	Zcompare_succ_Gt.con.proof_tree.xml.gz	2004-04-09 18:52	1.6K
	Zcompare_succ_Gt.con.types.xml.gz	2004-04-08 01:29	1.0K
	Zcompare_succ_Gt.con.xml.gz	2004-04-08 01:29	478
	Zcompare_succ_compat.con.body.xml.gz	2004-04-08 01:29	1.4K
	Zcompare_succ_compat.con.proof_tree.xml.gz	2004-04-09 18:52	1.4K
	Zcompare_succ_compat.con.types.xml.gz	2004-04-08 01:29	1.4K
	Zcompare_succ_compat.con.xml.gz	2004-04-08 01:29	509
	Zge_compare.con.body.xml.gz	2004-04-08 01:29	1.0K
	Zge_compare.con.proof_tree.xml.gz	2004-04-09 18:52	2.1K
	Zge_compare.con.types.xml.gz	2004-04-08 01:29	1.5K
	Zge_compare.con.xml.gz	2004-04-08 01:29	610
	Zgt_compare.con.body.xml.gz	2004-04-08 01:29	1.3K
	Zgt_compare.con.proof_tree.xml.gz	2004-04-09 18:52	2.0K
	Zgt_compare.con.types.xml.gz	2004-04-08 01:29	1.6K
	Zgt_compare.con.xml.gz	2004-04-08 01:29	611
	Zle_compare.con.body.xml.gz	2004-04-08 01:29	1.0K
	Zle_compare.con.proof_tree.xml.gz	2004-04-09 18:52	2.1K
	Zle_compare.con.types.xml.gz	2004-04-08 01:29	1.5K
	Zle_compare.con.xml.gz	2004-04-08 01:29	606
	Zlt_compare.con.body.xml.gz	2004-04-08 01:29	1.3K
	Zlt_compare.con.proof_tree.xml.gz	2004-04-09 18:52	2.0K
	Zlt_compare.con.types.xml.gz	2004-04-08 01:29	1.6K
	Zlt_compare.con.xml.gz	2004-04-08 01:29	614
	Zmult_compare_compat_l.con.body.xml.gz	2004-04-08 01:29	2.3K
	Zmult_compare_compat_l.con.proof_tree.xml.gz	2004-04-09 18:52	2.0K
	Zmult_compare_compat_l.con.types.xml.gz	2004-04-08 01:29	3.1K
	Zmult_compare_compat_l.con.xml.gz	2004-04-08 01:29	609
	Zmult_compare_compat_r.con.body.xml.gz	2004-04-08 01:29	1.0K
	Zmult_compare_compat_r.con.proof_tree.xml.gz	2004-04-09 18:52	1.4K
	Zmult_compare_compat_r.con.types.xml.gz	2004-04-08 01:29	1.0K
	Zmult_compare_compat_r.con.xml.gz	2004-04-08 01:29	605
	Zplus_compare_compat.con.body.xml.gz	2004-04-08 01:29	8.8K
	Zplus_compare_compat.con.proof_tree.xml.gz	2004-04-09 18:52	8.1K
	Zplus_compare_compat.con.types.xml.gz	2004-04-08 01:29	8.6K
	Zplus_compare_compat.con.xml.gz	2004-04-08 01:29	670
	rename.con.body.xml.gz	2004-04-08 01:29	626
	rename.con.proof_tree.xml.gz	2004-04-09 18:52	963
	rename.con.types.xml.gz	2004-04-08 01:29	636
	rename.con.xml.gz	2004-04-08 01:29	533
	weak_Zcompare_Zplus_compatible.con.body.xml.gz	2004-04-08 01:29	80K
	weak_Zcompare_Zplus_compatible.con.proof_tree.xml.gz	2004-04-09 18:52	94K
	weak_Zcompare_Zplus_compatible.con.types.xml.gz	2004-04-08 01:29	91K
	weak_Zcompare_Zplus_compatible.con.xml.gz	2004-04-08 01:29	620
	weaken_Zcompare_Zplus_compatible.con.body.xml.gz	2004-04-08 01:29	3.0K
	weaken_Zcompare_Zplus_compatible.con.proof_tree.xml.gz	2004-04-09 18:52	3.1K
	weaken_Zcompare_Zplus_compatible.con.types.xml.gz	2004-04-08 01:29	3.0K
	weaken_Zcompare_Zplus_compatible.con.xml.gz	2004-04-08 01:29	808