Index of /pub/ATP_problems/topology/
../
README 24-Mar-1990 16:46 6016
axioms.clauses 24-Mar-1990 16:46 7927
axioms.decl 24-Mar-1990 16:46 5184
defs.first_order 24-Mar-1990 16:46 3541
demods.first_order 24-Mar-1990 16:46 1481
equality_ax.first_order 24-Mar-1990 16:46 5119
lemma1.clauses 24-Mar-1990 16:46 1592
lemma1.desc 24-Mar-1990 16:46 570
lemma1.in 24-Mar-1990 16:47 1774
lemma1.pf 24-Mar-1990 16:47 1907
lemma10.clauses 24-Mar-1990 16:47 823
lemma10.desc 24-Mar-1990 16:47 637
lemma11.clauses 24-Mar-1990 16:47 734
lemma11.desc 24-Mar-1990 16:47 753
lemma12.clauses 24-Mar-1990 16:47 557
lemma12.desc 24-Mar-1990 16:47 519
lemma13.clauses 24-Mar-1990 16:47 501
lemma13.desc 24-Mar-1990 16:47 486
lemma14.clauses 24-Mar-1990 16:47 356
lemma14.desc 24-Mar-1990 16:47 471
lemma15.clauses 24-Mar-1990 16:47 618
lemma15.desc 24-Mar-1990 16:47 459
lemma16.clauses 24-Mar-1990 16:47 412
lemma16.desc 24-Mar-1990 16:47 486
lemma17.clauses 24-Mar-1990 16:47 2147
lemma17.desc 24-Mar-1990 16:47 681
lemma18.clauses 24-Mar-1990 16:47 377
lemma18.desc 24-Mar-1990 16:47 474
lemma19.clauses 24-Mar-1990 16:47 344
lemma19.desc 24-Mar-1990 16:47 434
lemma1a.clauses 24-Mar-1990 16:47 5745
lemma1a.desc 24-Mar-1990 16:47 514
lemma1a.in 24-Mar-1990 16:47 6319
lemma1a.pf 24-Mar-1990 16:47 7963
lemma1b.clauses 24-Mar-1990 16:47 5755
lemma1b.desc 24-Mar-1990 16:47 491
lemma1b.in 24-Mar-1990 16:47 6450
lemma1b.pf 24-Mar-1990 16:47 8567
lemma1c.clauses 24-Mar-1990 16:47 1795
lemma1c.desc 24-Mar-1990 16:47 519
lemma1c.in 24-Mar-1990 16:47 2158
lemma1c.pf 24-Mar-1990 16:47 6006
lemma1d.clauses 24-Mar-1990 16:47 5808
lemma1d.desc 24-Mar-1990 16:47 523
lemma1d.in 24-Mar-1990 16:47 6534
lemma1d.pf 24-Mar-1990 16:47 8940
lemma2.clauses 24-Mar-1990 16:47 446
lemma2.desc 24-Mar-1990 16:47 443
lemma20.clauses 24-Mar-1990 16:47 302
lemma20.desc 24-Mar-1990 16:47 426
lemma21.clauses 24-Mar-1990 16:47 311
lemma21.desc 24-Mar-1990 16:47 427
lemma22.clauses 24-Mar-1990 16:47 395
lemma22.desc 24-Mar-1990 16:47 434
lemma23.clauses 24-Mar-1990 16:47 408
lemma23.desc 24-Mar-1990 16:47 479
lemma3.clauses 24-Mar-1990 16:47 476
lemma3.desc 24-Mar-1990 16:47 544
lemma4.clauses 24-Mar-1990 16:47 461
lemma4.desc 24-Mar-1990 16:47 487
lemma5.clauses 24-Mar-1990 16:47 466
lemma5.desc 24-Mar-1990 16:47 467
lemma6.clauses 24-Mar-1990 16:47 421
lemma6.desc 24-Mar-1990 16:47 523
lemma7.clauses 24-Mar-1990 16:47 388
lemma7.desc 24-Mar-1990 16:47 416
lemma8.clauses 24-Mar-1990 16:47 383
lemma8.desc 24-Mar-1990 16:47 475
lemma9.clauses 24-Mar-1990 16:47 1149
lemma9.desc 24-Mar-1990 16:47 616
set_assump.clauses 24-Mar-1990 16:47 1845
set_assump.first_order 24-Mar-1990 16:47 1727