Index of /xml/Coq/Logic/ProofIrrelevance

	Name	Last modified	Size	Description
	Parent Directory		-
	p2p1.con.proof_tree.xml.gz	2004-04-09 18:52	4.6K
	p2p2.con.proof_tree.xml.gz	2004-04-09 18:52	3.7K
	p2p2.con.types.xml.gz	2004-04-08 01:27	2.7K
	proof_irrelevance_cc.con.proof_tree.xml.gz	2004-04-09 18:52	2.5K
	p2p1.con.types.xml.gz	2004-04-08 01:27	2.3K
	p2p2.con.body.xml.gz	2004-04-08 01:27	2.0K
	p2p1.con.body.xml.gz	2004-04-08 01:27	1.4K
	or_elim_redr.con.types.xml.gz	2004-04-08 01:27	951
	or_elim_redl.con.types.xml.gz	2004-04-08 01:27	947
	proof_irrelevance_cc.con.body.xml.gz	2004-04-08 01:27	884
	or_indd.con.body.xml.gz	2004-04-08 01:27	877
	proof_irrelevance_cci.con.proof_tree.xml.gz	2004-04-09 18:52	871
	or_indd.con.types.xml.gz	2004-04-08 01:27	862
	proof_irrelevance_cc.con.types.xml.gz	2004-04-08 01:27	790
	or_indd.con.xml.gz	2004-04-08 01:27	676
	proof_irrelevance_cci.con.body.xml.gz	2004-04-08 01:27	650
	or_elim_redr.con.xml.gz	2004-04-08 01:27	641
	or_elim_redl.con.xml.gz	2004-04-08 01:27	640
	or_elim_redl.con.body.xml.gz	2004-04-08 01:27	575
	or_elim_redr.con.body.xml.gz	2004-04-08 01:27	573
	p2b.con.body.xml.gz	2004-04-08 01:27	543
	p2p2.con.xml.gz	2004-04-08 01:27	538
	proof_irrelevance_cci.con.types.xml.gz	2004-04-08 01:27	523
	p2b.con.types.xml.gz	2004-04-08 01:27	502
	INDEX	2005-07-05 08:11	478
	proof_irrelevance_cci.con.xml.gz	2004-04-08 01:27	452
	p2p1.con.xml.gz	2004-04-08 01:27	436
	b2p.con.body.xml.gz	2004-04-08 01:27	405
	proof_irrelevance_cc.con.xml.gz	2004-04-08 01:27	385
	p2b.con.xml.gz	2004-04-08 01:27	325
	b2p.con.xml.gz	2004-04-08 01:27	307
	b2p.con.types.xml.gz	2004-04-08 01:27	195
	Proof_irrelevance_CCI/	2005-07-05 08:12	-
	Proof_irrelevance_CC/	2005-07-05 08:12	-