Index of /xml/Coq/Logic/Diaconescu

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