Index of /xml/Coq/Logic/ClassicalFacts/Proof_irrelevance_gen

	Name	Last modified	Size	Description
	Parent Directory		-
	true.var.xml.gz	2004-04-08 01:27	255
	true.var.types.xml.gz	2004-04-08 01:27	212
	false.var.xml.gz	2004-04-08 01:27	257
	false.var.types.xml.gz	2004-04-08 01:27	213
	bool_elim_redr.var.xml.gz	2004-04-08 01:27	527
	bool_elim_redr.var.types.xml.gz	2004-04-08 01:27	302
	bool_elim_redl.var.xml.gz	2004-04-08 01:27	525
	bool_elim_redl.var.types.xml.gz	2004-04-08 01:27	302
	bool_elim.var.xml.gz	2004-04-08 01:27	378
	bool_elim.var.types.xml.gz	2004-04-08 01:27	220
	bool_dep_induction.var.xml.gz	2004-04-08 01:27	526
	bool_dep_induction.var.types.xml.gz	2004-04-08 01:27	239
	bool.var.xml.gz	2004-04-08 01:27	204
	bool.var.types.xml.gz	2004-04-08 01:27	212
	INDEX	2005-07-05 08:12	304