Index of /pub/ATP_problems/algebra/rings/


../
README                                             24-Mar-1990 16:47    2749
Ring.axioms.clauses                                24-Mar-1990 16:47    2327
Ring.lemmas.clauses                                24-Mar-1990 16:47     905
Stickel.eq.clauses                                 24-Mar-1990 16:47    1208
Stickel.p.clauses                                  24-Mar-1990 16:47    1403
commute.desc                                       24-Mar-1990 16:47    1657
commute.proofs                                     24-Mar-1990 16:47    2220
commute.ver1.clauses                               24-Mar-1990 16:47    3281
commute.ver1.in                                    24-Mar-1990 16:47    3529
commute.ver1.out                                   24-Mar-1990 16:47     76K
commute.ver2.clauses                               24-Mar-1990 16:47    1823
commute.ver2.in                                    24-Mar-1990 16:47    2451
commute.ver2.out                                   24-Mar-1990 16:47    257K
commute.ver3.clauses                               24-Mar-1990 16:47    2488
commute.ver3.in                                    24-Mar-1990 16:47    2576
commute.ver3.out                                   24-Mar-1990 16:47     62K
commute.ver4.clauses                               24-Mar-1990 16:47    2566
commute.ver4.in                                    24-Mar-1990 16:47    2756
commute.ver4.out                                   24-Mar-1990 16:47     58K
lemma.desc                                         24-Mar-1990 16:47    1601
lemma.ver1.clauses                                 24-Mar-1990 16:47    2828
lemma.ver1.in                                      24-Mar-1990 16:47    3393
lemma.ver1.out                                     24-Mar-1990 16:47    4736
lemma.ver2.clauses                                 24-Mar-1990 16:47    1616
lemma.ver2.in                                      24-Mar-1990 16:47    2219
lemma.ver2.out                                     24-Mar-1990 16:47    3751
lemma.ver3.clauses                                 24-Mar-1990 16:47    2398
lemma.ver3.in                                      24-Mar-1990 16:47    2485
lemma.ver3.out                                     24-Mar-1990 16:47     65K
lemma.ver4.clauses                                 24-Mar-1990 16:47    2477
lemma.ver4.in                                      24-Mar-1990 16:47    2665
lemma.ver4.out                                     24-Mar-1990 16:47     62K
minuses.desc                                       24-Mar-1990 16:47     715
minuses.ver1.clauses                               24-Mar-1990 16:47    2176
minuses.ver1.in                                    24-Mar-1990 16:47    2264
minuses.ver1.out                                   24-Mar-1990 16:47     56K
minuses.ver2.clauses                               24-Mar-1990 16:47    2256
minuses.ver2.in                                    24-Mar-1990 16:47    2442
minuses.ver2.out                                   24-Mar-1990 16:47    4537
zero.desc                                          24-Mar-1990 16:47     748
zero.ver1.clauses                                  24-Mar-1990 16:47    2112
zero.ver1.in                                       24-Mar-1990 16:47    2177
zero.ver1.out                                      24-Mar-1990 16:47    3930
zero.ver2.clauses                                  24-Mar-1990 16:47    2141
zero.ver2.in                                       24-Mar-1990 16:47    2231
zero.ver2.out                                      24-Mar-1990 16:47    3985