Index of /xml/Coq/Logic/Berardi

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