Index of /xml/Coq/Logic/Berardi

	Name	Last modified	Size	Description
	Parent Directory		-
	AC.con.body.xml.gz	2004-04-08 01:27	839
	AC.con.proof_tree.xml.gz	2004-04-09 18:52	1.5K
	AC.con.types.xml.gz	2004-04-08 01:27	1.2K
	AC.con.xml.gz	2004-04-08 01:27	491
	AC_IF.con.body.xml.gz	2004-04-08 01:27	1.0K
	AC_IF.con.proof_tree.xml.gz	2004-04-09 18:52	1.9K
	AC_IF.con.types.xml.gz	2004-04-08 01:27	1.7K
	AC_IF.con.xml.gz	2004-04-08 01:27	617
	Berardis_paradox/	2005-07-05 08:12	-
	IFProp.con.body.xml.gz	2004-04-08 01:27	674
	IFProp.con.types.xml.gz	2004-04-08 01:27	543
	IFProp.con.xml.gz	2004-04-08 01:27	344
	INDEX	2005-07-05 08:11	1.2K
	L1.con.body.xml.gz	2004-04-08 01:27	2.0K
	L1.con.proof_tree.xml.gz	2004-04-09 18:52	2.5K
	L1.con.types.xml.gz	2004-04-08 01:27	2.3K
	L1.con.xml.gz	2004-04-08 01:27	477
	Not_b.con.body.xml.gz	2004-04-08 01:27	463
	Not_b.con.types.xml.gz	2004-04-08 01:27	330
	Not_b.con.xml.gz	2004-04-08 01:27	307
	R.con.body.xml.gz	2004-04-08 01:27	409
	R.con.types.xml.gz	2004-04-08 01:27	483
	R.con.xml.gz	2004-04-08 01:27	252
	U.con.body.xml.gz	2004-04-08 01:27	353
	U.con.types.xml.gz	2004-04-08 01:27	187
	U.con.xml.gz	2004-04-08 01:27	228
	classical_proof_irrelevence.con.body.xml.gz	2004-04-08 01:27	1.5K
	classical_proof_irrelevence.con.proof_tree.xml.gz	2004-04-09 18:52	2.8K
	classical_proof_irrelevence.con.types.xml.gz	2004-04-08 01:27	1.8K
	classical_proof_irrelevence.con.xml.gz	2004-04-08 01:27	363
	f.con.body.xml.gz	2004-04-08 01:27	351
	f.con.types.xml.gz	2004-04-08 01:27	440
	f.con.xml.gz	2004-04-08 01:27	316
	g.con.body.xml.gz	2004-04-08 01:27	713
	g.con.types.xml.gz	2004-04-08 01:27	774
	g.con.xml.gz	2004-04-08 01:27	330
	i.con.body.xml.gz	2004-04-08 01:27	702
	i.con.types.xml.gz	2004-04-08 01:27	616
	i.con.xml.gz	2004-04-08 01:27	329
	i2.con.body.xml.gz	2004-04-08 01:27	729
	i2.con.types.xml.gz	2004-04-08 01:27	643
	i2.con.xml.gz	2004-04-08 01:27	334
	inv.con.body.xml.gz	2004-04-08 01:27	814
	inv.con.types.xml.gz	2004-04-08 01:27	1.2K
	inv.con.xml.gz	2004-04-08 01:27	475
	inv2.con.body.xml.gz	2004-04-08 01:27	843
	inv2.con.types.xml.gz	2004-04-08 01:27	1.2K
	inv2.con.xml.gz	2004-04-08 01:27	494
	j.con.body.xml.gz	2004-04-08 01:27	703
	j.con.types.xml.gz	2004-04-08 01:27	617
	j.con.xml.gz	2004-04-08 01:27	328
	j2.con.body.xml.gz	2004-04-08 01:27	730
	j2.con.types.xml.gz	2004-04-08 01:27	643
	j2.con.xml.gz	2004-04-08 01:27	333
	not_has_fixpoint.con.body.xml.gz	2004-04-08 01:27	1.3K
	not_has_fixpoint.con.proof_tree.xml.gz	2004-04-09 18:52	2.1K
	not_has_fixpoint.con.types.xml.gz	2004-04-08 01:27	2.3K
	not_has_fixpoint.con.xml.gz	2004-04-08 01:27	418
	pow.con.body.xml.gz	2004-04-08 01:27	361
	pow.con.types.xml.gz	2004-04-08 01:27	189
	pow.con.xml.gz	2004-04-08 01:27	278
	retract.ind.types.xml.gz	2004-04-08 01:27	288
	retract.ind.xml.gz	2004-04-08 01:27	611
	retract_cond.ind.types.xml.gz	2004-04-08 01:27	296
	retract_cond.ind.xml.gz	2004-04-08 01:27	639
	retract_cond_ind.con.body.xml.gz	2004-04-08 01:27	391
	retract_cond_ind.con.types.xml.gz	2004-04-08 01:27	810
	retract_cond_ind.con.xml.gz	2004-04-08 01:27	637
	retract_cond_rec.con.body.xml.gz	2004-04-08 01:27	389
	retract_cond_rec.con.types.xml.gz	2004-04-08 01:27	305
	retract_cond_rec.con.xml.gz	2004-04-08 01:27	647
	retract_cond_rect.con.body.xml.gz	2004-04-08 01:27	747
	retract_cond_rect.con.types.xml.gz	2004-04-08 01:27	325
	retract_cond_rect.con.xml.gz	2004-04-08 01:27	644
	retract_ind.con.body.xml.gz	2004-04-08 01:27	384
	retract_ind.con.types.xml.gz	2004-04-08 01:27	809
	retract_ind.con.xml.gz	2004-04-08 01:27	617
	retract_pow_U_U.con.body.xml.gz	2004-04-08 01:27	866
	retract_pow_U_U.con.proof_tree.xml.gz	2004-04-09 18:52	2.3K
	retract_pow_U_U.con.types.xml.gz	2004-04-08 01:27	1.1K
	retract_pow_U_U.con.xml.gz	2004-04-08 01:27	384
	retract_rec.con.body.xml.gz	2004-04-08 01:27	382
	retract_rec.con.types.xml.gz	2004-04-08 01:27	297
	retract_rec.con.xml.gz	2004-04-08 01:27	628
	retract_rect.con.body.xml.gz	2004-04-08 01:27	718
	retract_rect.con.types.xml.gz	2004-04-08 01:27	317
	retract_rect.con.xml.gz	2004-04-08 01:27	619