Index of /xml/Coq/Logic/Diaconescu

	Name	Last modified	Size	Description
	Parent Directory		-
	PredExt_GuardRelChoice_imp_EM/	2005-07-05 08:12	-
	PredicateExtensionality.con.types.xml.gz	2004-04-08 01:28	224
	PredicateExtensionality.con.xml.gz	2004-04-08 01:28	231
	proof_irrel.con.body.xml.gz	2004-04-08 01:28	343
	guarded_rel_choice.con.body.xml.gz	2004-04-08 01:28	372
	INDEX	2005-07-05 08:11	389
	proof_irrel.con.xml.gz	2004-04-08 01:28	465
	pred_ext_and_rel_choice_imp_EM.con.xml.gz	2004-04-08 01:28	466
	prop_ext.con.xml.gz	2004-04-08 01:28	472
	PredicateExtensionality.con.body.xml.gz	2004-04-08 01:28	606
	proof_irrel.con.types.xml.gz	2004-04-08 01:28	631
	AC.con.body.xml.gz	2004-04-08 01:28	769
	prop_ext.con.body.xml.gz	2004-04-08 01:28	864
	proof_irrel.con.proof_tree.xml.gz	2004-04-09 18:52	893
	AC.con.xml.gz	2004-04-08 01:28	933
	prop_ext.con.types.xml.gz	2004-04-08 01:28	969
	AC.con.types.xml.gz	2004-04-08 01:28	1.1K
	guarded_rel_choice.con.xml.gz	2004-04-08 01:28	1.1K
	guarded_rel_choice.con.types.xml.gz	2004-04-08 01:28	1.3K
	prop_ext.con.proof_tree.xml.gz	2004-04-09 18:52	1.3K
	guarded_rel_choice.con.proof_tree.xml.gz	2004-04-09 18:52	2.5K
	AC.con.proof_tree.xml.gz	2004-04-09 18:52	2.6K
	pred_ext_and_rel_choice_imp_EM.con.proof_tree.xml.gz	2004-04-09 18:52	5.1K
	pred_ext_and_rel_choice_imp_EM.con.body.xml.gz	2004-04-08 01:28	6.1K
	pred_ext_and_rel_choice_imp_EM.con.types.xml.gz	2004-04-08 01:28	7.2K