Index of /xml/Coq/Logic/Eqdep

	Name	Last modified	Size	Description
	Parent Directory		-
	equiv_eqex_eqdep.con.proof_tree.xml.gz	2004-04-09 18:52	4.2K
	inj_pair2.con.proof_tree.xml.gz	2004-04-09 18:52	3.5K
	inj_pair2.con.types.xml.gz	2004-04-08 01:27	2.5K
	inj_pairT2.con.proof_tree.xml.gz	2004-04-09 18:52	2.5K
	equiv_eqex_eqdep.con.types.xml.gz	2004-04-08 01:27	2.5K
	eq_dep1_dep.con.proof_tree.xml.gz	2004-04-09 18:52	2.3K
	UIP.con.proof_tree.xml.gz	2004-04-09 18:52	2.3K
	inj_pair2.con.body.xml.gz	2004-04-08 01:27	2.2K
	eq_dep1_eq.con.proof_tree.xml.gz	2004-04-09 18:52	2.1K
	equiv_eqex_eqdep.con.body.xml.gz	2004-04-08 01:27	2.1K
	eq_dep1_dep.con.body.xml.gz	2004-04-08 01:27	1.8K
	eq_dep_dep1.con.proof_tree.xml.gz	2004-04-09 18:52	1.7K
	eq_dep_trans.con.proof_tree.xml.gz	2004-04-09 18:52	1.7K
	eq_rec_eq.con.proof_tree.xml.gz	2004-04-09 18:52	1.6K
	eq_dep1_dep.con.types.xml.gz	2004-04-08 01:27	1.6K
	UIP.con.body.xml.gz	2004-04-08 01:27	1.3K
	eq_dep_sym.con.proof_tree.xml.gz	2004-04-09 18:52	1.3K
	inj_pairT2.con.body.xml.gz	2004-04-08 01:27	1.3K
	inj_pairT2.con.types.xml.gz	2004-04-08 01:27	1.3K
	UIP_refl.con.proof_tree.xml.gz	2004-04-09 18:52	1.2K
	Streicher_K.con.proof_tree.xml.gz	2004-04-09 18:52	1.2K
	eq_dep1_eq.con.body.xml.gz	2004-04-08 01:27	1.2K
	eq_dep_eq.con.proof_tree.xml.gz	2004-04-09 18:52	1.1K
	UIP.con.types.xml.gz	2004-04-08 01:27	1.1K
	INDEX	2005-07-05 08:11	1.1K
	eq_dep1_eq.con.types.xml.gz	2004-04-08 01:27	1.1K
	eq_rec_eq.con.types.xml.gz	2004-04-08 01:27	1.0K
	eq_dep1_ind.con.types.xml.gz	2004-04-08 01:27	949
	eq_dep_trans.con.body.xml.gz	2004-04-08 01:27	935
	eq_rec_eq.con.body.xml.gz	2004-04-08 01:27	916
	eq_dep_dep1.con.types.xml.gz	2004-04-08 01:27	887
	eq_dep_dep1.con.body.xml.gz	2004-04-08 01:27	872
	eq_dep1_rect.con.body.xml.gz	2004-04-08 01:27	857
	Streicher_K.con.types.xml.gz	2004-04-08 01:27	854
	eq_indd.con.body.xml.gz	2004-04-08 01:27	848
	eq_dep_rect.con.body.xml.gz	2004-04-08 01:27	845
	eq_dep_ind.con.types.xml.gz	2004-04-08 01:27	821
	eq_dep1.ind.xml.gz	2004-04-08 01:27	820
	equiv_eqex_eqdep.con.xml.gz	2004-04-08 01:27	814
	eq_dep_trans.con.types.xml.gz	2004-04-08 01:27	796
	eq_indd.con.types.xml.gz	2004-04-08 01:27	783
	eq_dep_sym.con.body.xml.gz	2004-04-08 01:27	775
	Streicher_K.con.body.xml.gz	2004-04-08 01:27	761
	eq_dep1_rec.con.xml.gz	2004-04-08 01:27	755
	eq_dep1_rect.con.xml.gz	2004-04-08 01:27	749
	eq_dep1_ind.con.xml.gz	2004-04-08 01:27	746
	UIP_refl.con.types.xml.gz	2004-04-08 01:27	694
	inj_pair2.con.xml.gz	2004-04-08 01:27	686
	inj_pairT2.con.xml.gz	2004-04-08 01:27	683
	eq_dep_eq.con.types.xml.gz	2004-04-08 01:27	665
	eq_dep_rect.con.xml.gz	2004-04-08 01:27	644
	eq_dep_ind.con.xml.gz	2004-04-08 01:27	644
	eq_dep_sym.con.types.xml.gz	2004-04-08 01:27	643
	eq_dep_rec.con.xml.gz	2004-04-08 01:27	643
	eq_indd.con.xml.gz	2004-04-08 01:27	630
	eq_dep_trans.con.xml.gz	2004-04-08 01:27	619
	eq_rec_eq.con.xml.gz	2004-04-08 01:27	616
	eq_rect_eq.con.xml.gz	2004-04-08 01:27	606
	eq_dep_eq.con.body.xml.gz	2004-04-08 01:27	599
	Streicher_K.con.xml.gz	2004-04-08 01:27	593
	eq_dep.ind.xml.gz	2004-04-08 01:27	586
	eq_dep_ind.con.body.xml.gz	2004-04-08 01:27	550
	eq_dep_rec.con.body.xml.gz	2004-04-08 01:27	547
	eq_dep1_ind.con.body.xml.gz	2004-04-08 01:27	541
	eq_dep1_dep.con.xml.gz	2004-04-08 01:27	541
	eq_dep1_rec.con.body.xml.gz	2004-04-08 01:27	539
	eq_dep_sym.con.xml.gz	2004-04-08 01:27	536
	eq_dep_dep1.con.xml.gz	2004-04-08 01:27	536
	eq_dep1_eq.con.xml.gz	2004-04-08 01:27	528
	eq_dep_eq.con.xml.gz	2004-04-08 01:27	527
	UIP.con.xml.gz	2004-04-08 01:27	527
	UIP_refl.con.body.xml.gz	2004-04-08 01:27	525
	UIP_refl.con.xml.gz	2004-04-08 01:27	506
	eq_dep1_rect.con.types.xml.gz	2004-04-08 01:27	204
	eq_dep_rect.con.types.xml.gz	2004-04-08 01:27	202
	eq_dep1_rec.con.types.xml.gz	2004-04-08 01:27	202
	eq_rect_eq.con.types.xml.gz	2004-04-08 01:27	200
	eq_dep_rec.con.types.xml.gz	2004-04-08 01:27	200
	eq_dep1.ind.types.xml.gz	2004-04-08 01:27	195
	eq_dep.ind.types.xml.gz	2004-04-08 01:27	193
	Dependent_Equality/	2005-07-05 08:12	-