Index of /xml/Coq/Logic/Berardi

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