Index of /pub/ATP_problems/algebra/lattices/


../
README                                             24-Mar-1990 16:47    1748
SAMslemma.desc                                     24-Mar-1990 16:47    3369
SAMslemma.ver1.clauses                             24-Mar-1990 16:47    4317
SAMslemma.ver1.in                                  24-Mar-1990 16:47    4212
SAMslemma.ver1.out                                 24-Mar-1990 16:47    4584