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


../
README                                             24-Mar-1990 16:49    2612
axioms.clauses                                     24-Mar-1990 16:49    9226
compl.desc                                         24-Mar-1990 16:49     783
compl.ver1.clauses                                 24-Mar-1990 16:49    9417
compl.ver1.in                                      24-Mar-1990 16:49    9869
compl.ver2.clauses                                 24-Mar-1990 16:49    3099
compl.ver2.in                                      24-Mar-1990 16:49    3299
inters.desc                                        24-Mar-1990 16:49     778
inters.ver1.clauses                                24-Mar-1990 16:49    9419
inters.ver1.in                                     24-Mar-1990 16:49    9872
inters.ver2.clauses                                24-Mar-1990 16:49    2927
inters.ver2.in                                     24-Mar-1990 16:49    3342
subset.desc                                        24-Mar-1990 16:49     828
subset.ver1.clauses                                24-Mar-1990 16:49    9459
subset.ver1.in                                     24-Mar-1990 16:49    9912
subset.ver2.clauses                                24-Mar-1990 16:49    3463
subset.ver2.in                                     24-Mar-1990 16:49    3746
union.desc                                         24-Mar-1990 16:49     766
union.ver1.clauses                                 24-Mar-1990 16:49    9408
union.ver1.in                                      24-Mar-1990 16:49    9860
union.ver2.clauses                                 24-Mar-1990 16:49    3289
union.ver2.in                                      24-Mar-1990 16:49    3572