Index of /pub/ATP_problems/topology

	Name	Last modified	Size	Description
	Parent Directory		-
	README	1990-03-24 10:46	5.9K
	axioms.clauses	1990-03-24 10:46	7.7K
	axioms.decl	1990-03-24 10:46	5.1K
	defs.first_order	1990-03-24 10:46	3.5K
	demods.first_order	1990-03-24 10:46	1.4K
	equality_ax.first_order	1990-03-24 10:46	5.0K
	lemma1.clauses	1990-03-24 10:46	1.6K
	lemma1.desc	1990-03-24 10:46	570
	lemma1.in	1990-03-24 10:47	1.7K
	lemma1.pf	1990-03-24 10:47	1.9K
	lemma1a.clauses	1990-03-24 10:47	5.6K
	lemma1a.desc	1990-03-24 10:47	514
	lemma1a.in	1990-03-24 10:47	6.2K
	lemma1a.pf	1990-03-24 10:47	7.8K
	lemma1b.clauses	1990-03-24 10:47	5.6K
	lemma1b.desc	1990-03-24 10:47	491
	lemma1b.in	1990-03-24 10:47	6.3K
	lemma1b.pf	1990-03-24 10:47	8.4K
	lemma1c.clauses	1990-03-24 10:47	1.8K
	lemma1c.desc	1990-03-24 10:47	519
	lemma1c.in	1990-03-24 10:47	2.1K
	lemma1c.pf	1990-03-24 10:47	5.9K
	lemma1d.clauses	1990-03-24 10:47	5.7K
	lemma1d.desc	1990-03-24 10:47	523
	lemma1d.in	1990-03-24 10:47	6.4K
	lemma1d.pf	1990-03-24 10:47	8.7K
	lemma2.clauses	1990-03-24 10:47	446
	lemma2.desc	1990-03-24 10:47	443
	lemma3.clauses	1990-03-24 10:47	476
	lemma3.desc	1990-03-24 10:47	544
	lemma4.clauses	1990-03-24 10:47	461
	lemma4.desc	1990-03-24 10:47	487
	lemma5.clauses	1990-03-24 10:47	466
	lemma5.desc	1990-03-24 10:47	467
	lemma6.clauses	1990-03-24 10:47	421
	lemma6.desc	1990-03-24 10:47	523
	lemma7.clauses	1990-03-24 10:47	388
	lemma7.desc	1990-03-24 10:47	416
	lemma8.clauses	1990-03-24 10:47	383
	lemma8.desc	1990-03-24 10:47	475
	lemma9.clauses	1990-03-24 10:47	1.1K
	lemma9.desc	1990-03-24 10:47	616
	lemma10.clauses	1990-03-24 10:47	823
	lemma10.desc	1990-03-24 10:47	637
	lemma11.clauses	1990-03-24 10:47	734
	lemma11.desc	1990-03-24 10:47	753
	lemma12.clauses	1990-03-24 10:47	557
	lemma12.desc	1990-03-24 10:47	519
	lemma13.clauses	1990-03-24 10:47	501
	lemma13.desc	1990-03-24 10:47	486
	lemma14.clauses	1990-03-24 10:47	356
	lemma14.desc	1990-03-24 10:47	471
	lemma15.clauses	1990-03-24 10:47	618
	lemma15.desc	1990-03-24 10:47	459
	lemma16.clauses	1990-03-24 10:47	412
	lemma16.desc	1990-03-24 10:47	486
	lemma17.clauses	1990-03-24 10:47	2.1K
	lemma17.desc	1990-03-24 10:47	681
	lemma18.clauses	1990-03-24 10:47	377
	lemma18.desc	1990-03-24 10:47	474
	lemma19.clauses	1990-03-24 10:47	344
	lemma19.desc	1990-03-24 10:47	434
	lemma20.clauses	1990-03-24 10:47	302
	lemma20.desc	1990-03-24 10:47	426
	lemma21.clauses	1990-03-24 10:47	311
	lemma21.desc	1990-03-24 10:47	427
	lemma22.clauses	1990-03-24 10:47	395
	lemma22.desc	1990-03-24 10:47	434
	lemma23.clauses	1990-03-24 10:47	408
	lemma23.desc	1990-03-24 10:47	479
	set_assump.clauses	1990-03-24 10:47	1.8K
	set_assump.first_order	1990-03-24 10:47	1.7K