Index of /pub/ATP_problems/set.theory/naive/


../
README                                             24-Mar-1990 16:49    2318
axioms.clauses                                     24-Mar-1990 16:49    2271
compl.desc                                         24-Mar-1990 16:49     481
compl.ver1.clauses                                 24-Mar-1990 16:49    2242
compl.ver1.in                                      24-Mar-1990 16:49    2441
inters.desc                                        24-Mar-1990 16:49     471
inters.ver1.clauses                                24-Mar-1990 16:49    2240
inters.ver1.in                                     24-Mar-1990 16:49    2438
subset.desc                                        24-Mar-1990 16:49     499
subset.ver1.clauses                                24-Mar-1990 16:49    2248
subset.ver1.in                                     24-Mar-1990 16:49    2400
subset.ver1.out                                    24-Mar-1990 16:49    4161
union.desc                                         24-Mar-1990 16:49     464
union.ver1.clauses                                 24-Mar-1990 16:49    2236
union.ver1.in                                      24-Mar-1990 16:49    2434