Index of /xml/Coq/Logic/ChoiceFacts

	Name	Last modified	Size	Description
	Parent Directory		-
	rel_choice_and_proof_irrel_imp_guarded_rel_choice.con.types.xml.gz	2004-04-08 01:27	16K
	rel_choice_indep_of_premises_imp_guarded_rel_choice.con.types.xml.gz	2004-04-08 01:27	11K
	description_rel_choice_imp_funct_choice.con.types.xml.gz	2004-04-08 01:27	8.6K
	rel_choice_and_proof_irrel_imp_guarded_rel_choice.con.proof_tree.xml.gz	2004-04-09 18:52	8.2K
	rel_choice_and_proof_irrel_imp_guarded_rel_choice.con.body.xml.gz	2004-04-08 01:27	8.1K
	description_rel_choice_imp_funct_choice.con.body.xml.gz	2004-04-08 01:27	6.0K
	rel_choice_indep_of_premises_imp_guarded_rel_choice.con.proof_tree.xml.gz	2004-04-09 18:52	5.9K
	funct_choice_imp_rel_choice.con.proof_tree.xml.gz	2004-04-09 18:52	5.4K
	funct_choice_imp_rel_choice.con.types.xml.gz	2004-04-08 01:27	5.0K
	description_rel_choice_imp_funct_choice.con.proof_tree.xml.gz	2004-04-09 18:52	4.8K
	rel_choice_indep_of_premises_imp_guarded_rel_choice.con.body.xml.gz	2004-04-08 01:27	4.7K
	funct_choice_imp_description.con.proof_tree.xml.gz	2004-04-09 18:52	3.6K
	funct_choice_imp_description.con.types.xml.gz	2004-04-08 01:27	3.5K
	funct_choice_imp_rel_choice.con.body.xml.gz	2004-04-08 01:27	3.1K
	funct_choice_imp_description.con.body.xml.gz	2004-04-08 01:27	2.5K
	FunChoice_Equiv_RelChoice_and_ParamDefinDescr.con.proof_tree.xml.gz	2004-04-09 18:52	1.3K
	GuardedRelationalChoice.con.body.xml.gz	2004-04-08 01:27	1.1K
	INDEX	2005-07-05 08:11	1.0K
	RelationalChoice.con.body.xml.gz	2004-04-08 01:27	1.0K
	ParamDefiniteDescription.con.body.xml.gz	2004-04-08 01:27	915
	FunChoice_Equiv_RelChoice_and_ParamDefinDescr.con.body.xml.gz	2004-04-08 01:27	866
	FunChoice_Equiv_RelChoice_and_ParamDefinDescr.con.types.xml.gz	2004-04-08 01:27	783
	FunctionalChoice.con.body.xml.gz	2004-04-08 01:27	749
	IndependenceOfPremises.con.body.xml.gz	2004-04-08 01:27	651
	ProofIrrelevance.con.body.xml.gz	2004-04-08 01:27	438
	FunChoice_Equiv_RelChoice_and_ParamDefinDescr.con.xml.gz	2004-04-08 01:27	401
	rel_choice_indep_of_premises_imp_guarded_rel_choice.con.xml.gz	2004-04-08 01:27	395
	rel_choice_and_proof_irrel_imp_guarded_rel_choice.con.xml.gz	2004-04-08 01:27	387
	description_rel_choice_imp_funct_choice.con.xml.gz	2004-04-08 01:27	375
	funct_choice_imp_description.con.xml.gz	2004-04-08 01:27	342
	funct_choice_imp_rel_choice.con.xml.gz	2004-04-08 01:27	331
	GuardedRelationalChoice.con.xml.gz	2004-04-08 01:27	233
	ParamDefiniteDescription.con.xml.gz	2004-04-08 01:27	232
	IndependenceOfPremises.con.xml.gz	2004-04-08 01:27	232
	ParamDefiniteDescription.con.types.xml.gz	2004-04-08 01:27	228
	GuardedRelationalChoice.con.types.xml.gz	2004-04-08 01:27	226
	IndependenceOfPremises.con.types.xml.gz	2004-04-08 01:27	225
	FunctionalChoice.con.xml.gz	2004-04-08 01:27	221
	RelationalChoice.con.xml.gz	2004-04-08 01:27	220
	ProofIrrelevance.con.xml.gz	2004-04-08 01:27	219
	RelationalChoice.con.types.xml.gz	2004-04-08 01:27	214
	FunctionalChoice.con.types.xml.gz	2004-04-08 01:27	214
	ProofIrrelevance.con.types.xml.gz	2004-04-08 01:27	213