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