Index of /xml/Coq/Logic/Eqdep_dec

	Name	Last modified	Size	Description
	Parent Directory		-
	DecidableEqDep/	2005-07-05 08:12	-
	INDEX	2005-07-05 08:11	508
	K_dec.con.body.xml.gz	2004-04-08 01:27	854
	K_dec.con.proof_tree.xml.gz	2004-04-09 18:52	1.2K
	K_dec.con.types.xml.gz	2004-04-08 01:27	801
	K_dec.con.xml.gz	2004-04-08 01:27	589
	K_dec_set.con.body.xml.gz	2004-04-08 01:27	2.5K
	K_dec_set.con.proof_tree.xml.gz	2004-04-09 18:52	4.3K
	K_dec_set.con.types.xml.gz	2004-04-08 01:27	2.4K
	K_dec_set.con.xml.gz	2004-04-08 01:27	780
	eq2eqT.con.body.xml.gz	2004-04-08 01:27	706
	eq2eqT.con.types.xml.gz	2004-04-08 01:27	563
	eq2eqT.con.xml.gz	2004-04-08 01:27	446
	eqT2eq.con.body.xml.gz	2004-04-08 01:27	706
	eqT2eq.con.types.xml.gz	2004-04-08 01:27	563
	eqT2eq.con.xml.gz	2004-04-08 01:27	446
	eqT_eq_bij.con.body.xml.gz	2004-04-08 01:27	966
	eqT_eq_bij.con.proof_tree.xml.gz	2004-04-09 18:52	1.4K
	eqT_eq_bij.con.types.xml.gz	2004-04-08 01:27	1.3K
	eqT_eq_bij.con.xml.gz	2004-04-08 01:27	597
	eq_eqT_bij.con.body.xml.gz	2004-04-08 01:27	966
	eq_eqT_bij.con.proof_tree.xml.gz	2004-04-09 18:52	1.4K
	eq_eqT_bij.con.types.xml.gz	2004-04-08 01:27	1.3K
	eq_eqT_bij.con.xml.gz	2004-04-08 01:27	597
	eq_proofs_unicity.con.body.xml.gz	2004-04-08 01:27	1.5K
	eq_proofs_unicity.con.proof_tree.xml.gz	2004-04-09 18:52	1.9K
	eq_proofs_unicity.con.types.xml.gz	2004-04-08 01:27	1.5K
	eq_proofs_unicity.con.xml.gz	2004-04-08 01:27	564
	inj_right_pair.con.body.xml.gz	2004-04-08 01:27	3.1K
	inj_right_pair.con.proof_tree.xml.gz	2004-04-09 18:52	5.1K
	inj_right_pair.con.types.xml.gz	2004-04-08 01:27	7.5K
	inj_right_pair.con.xml.gz	2004-04-08 01:27	711
	nu_left_inv.con.body.xml.gz	2004-04-08 01:27	852
	nu_left_inv.con.proof_tree.xml.gz	2004-04-09 18:52	1.8K
	nu_left_inv.con.types.xml.gz	2004-04-08 01:27	1.1K
	nu_left_inv.con.xml.gz	2004-04-08 01:27	563
	trans_sym_eqT.con.body.xml.gz	2004-04-08 01:27	858
	trans_sym_eqT.con.proof_tree.xml.gz	2004-04-09 18:52	1.1K
	trans_sym_eqT.con.types.xml.gz	2004-04-08 01:27	1.1K
	trans_sym_eqT.con.xml.gz	2004-04-08 01:27	592