Index of /xml/Coq/Logic/ProofIrrelevance/Proof_irrelevance_CC

	Name	Last modified	Size	Description
	Parent Directory		-
	or_intror.var.xml.gz	2004-04-08 01:27	401
	or_intror.var.types.xml.gz	2004-04-08 01:27	213
	or_introl.var.xml.gz	2004-04-08 01:27	400
	or_introl.var.types.xml.gz	2004-04-08 01:27	213
	or_elim_redr.var.xml.gz	2004-04-08 01:27	662
	or_elim_redr.var.types.xml.gz	2004-04-08 01:27	371
	or_elim_redl.var.xml.gz	2004-04-08 01:27	664
	or_elim_redl.var.types.xml.gz	2004-04-08 01:27	371
	or_elim.var.xml.gz	2004-04-08 01:27	479
	or_elim.var.types.xml.gz	2004-04-08 01:27	210
	or_dep_elim.var.xml.gz	2004-04-08 01:27	692
	or_dep_elim.var.types.xml.gz	2004-04-08 01:27	372
	or.var.xml.gz	2004-04-08 01:27	262
	or.var.types.xml.gz	2004-04-08 01:27	201
	em.var.xml.gz	2004-04-08 01:27	390
	em.var.types.xml.gz	2004-04-08 01:27	201
	b2.var.xml.gz	2004-04-08 01:27	246
	b2.var.types.xml.gz	2004-04-08 01:27	202
	b1.var.xml.gz	2004-04-08 01:27	246
	b1.var.types.xml.gz	2004-04-08 01:27	202
	INDEX	2005-07-05 08:12	402
	B.var.xml.gz	2004-04-08 01:27	200
	B.var.types.xml.gz	2004-04-08 01:27	201