Index of /xml/Coq/Arith/EqNat

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:10	437
	eq_nat_refl.con.proof_tree.xml.gz	2004-04-09 18:52	1.2K
	eq_nat_eq.con.proof_tree.xml.gz	2004-04-09 18:52	2.7K
	eq_nat_elim.con.proof_tree.xml.gz	2004-04-09 18:52	1.1K
	eq_nat_decide.con.proof_tree.xml.gz	2004-04-09 18:52	2.7K
	eq_eq_nat.con.proof_tree.xml.gz	2004-04-09 18:52	603
	beq_nat_refl.con.proof_tree.xml.gz	2004-04-09 18:52	635
	beq_nat_eq.con.proof_tree.xml.gz	2004-04-09 18:52	5.6K
	eq_nat_refl.con.xml.gz	2004-04-08 01:28	379
	eq_nat_refl.con.types.xml.gz	2004-04-08 01:28	713
	eq_nat_refl.con.body.xml.gz	2004-04-08 01:28	564
	eq_nat_eq.con.xml.gz	2004-04-08 01:28	449
	eq_nat_eq.con.types.xml.gz	2004-04-08 01:28	2.2K
	eq_nat_eq.con.body.xml.gz	2004-04-08 01:28	1.7K
	eq_nat_elim.con.xml.gz	2004-04-08 01:28	509
	eq_nat_elim.con.types.xml.gz	2004-04-08 01:28	649
	eq_nat_elim.con.body.xml.gz	2004-04-08 01:28	739
	eq_nat_decide.con.xml.gz	2004-04-08 01:28	486
	eq_nat_decide.con.types.xml.gz	2004-04-08 01:28	796
	eq_nat_decide.con.body.xml.gz	2004-04-08 01:28	1.7K
	eq_nat.con.types.xml.gz	2004-04-08 01:28	194
	eq_eq_nat.con.xml.gz	2004-04-08 01:28	446
	eq_eq_nat.con.types.xml.gz	2004-04-08 01:28	531
	eq_eq_nat.con.body.xml.gz	2004-04-08 01:28	592
	beq_nat_refl.con.xml.gz	2004-04-08 01:28	435
	beq_nat_refl.con.types.xml.gz	2004-04-08 01:28	890
	beq_nat_refl.con.body.xml.gz	2004-04-08 01:28	653
	beq_nat_eq.con.xml.gz	2004-04-08 01:28	504
	beq_nat_eq.con.types.xml.gz	2004-04-08 01:28	5.8K
	beq_nat_eq.con.body.xml.gz	2004-04-08 01:28	3.5K
	beq_nat.con.xml.gz	2004-04-08 01:28	297
	beq_nat.con.types.xml.gz	2004-04-08 01:28	196
	beq_nat.con.body.xml.gz	2004-04-08 01:28	931
	eq_nat.con.xml.gz	2004-04-08 01:28	302
	eq_nat.con.body.xml.gz	2004-04-08 01:28	918