Index of /pub/ATP_problems/geometry/


../
README                                             24-Mar-1990 16:49    3876
axioms.ver1                                        24-Mar-1990 16:49    5075
axioms.ver2                                        24-Mar-1990 16:49    3568
axioms.ver3                                        24-Mar-1990 16:49    3655
e1.1.proof                                         24-Mar-1990 16:49    2881
t1.desc                                            24-Mar-1990 16:49     919
t1.ver1.clauses                                    24-Mar-1990 16:49    4971
t1.ver1.in                                         24-Mar-1990 16:49    3892
t1.ver1.out                                        24-Mar-1990 16:49    4620
t10.desc                                           24-Mar-1990 16:49     996
t10.ver1.clauses                                   24-Mar-1990 16:49    5185
t10.ver1.in                                        24-Mar-1990 16:49    4544
t10.ver1.out                                       24-Mar-1990 16:49    5245
t11.desc                                           24-Mar-1990 16:49    1047
t11.ver1.clauses                                   24-Mar-1990 16:49    4985
t11.ver1.in                                        24-Mar-1990 16:49    4362
t11.ver1.out                                       24-Mar-1990 16:49    4026
t11.ver2.clauses                                   24-Mar-1990 16:49    3535
t11.ver2.in                                        24-Mar-1990 16:49    4045
t11.ver2.out                                       24-Mar-1990 16:49    2947
t11.ver3.clauses                                   24-Mar-1990 16:49    3518
t11.ver3.in                                        24-Mar-1990 16:49    4107
t11.ver3.out                                       24-Mar-1990 16:49    3015
t12.desc                                           24-Mar-1990 16:49     993
t12.ver1.clauses                                   24-Mar-1990 16:49    5626
t12.ver1.in                                        24-Mar-1990 16:49    6317
t12.ver1.out                                       24-Mar-1990 16:49    3706
t13.desc                                           24-Mar-1990 16:49    1032
t13.ver1.clauses                                   24-Mar-1990 16:49    5694
t13.ver1.in                                        24-Mar-1990 16:49    6236
t13.ver1.out                                       24-Mar-1990 16:49    5136
t2.desc                                            24-Mar-1990 16:49     913
t2.ver1.clauses                                    24-Mar-1990 16:49    4772
t2.ver1.in                                         24-Mar-1990 16:49    3730
t2.ver1.out                                        24-Mar-1990 16:49    3682
t3.desc                                            24-Mar-1990 16:49     913
t3.ver1.clauses                                    24-Mar-1990 16:49    3615
t3.ver1.in                                         24-Mar-1990 16:49    3915
t3.ver1.out                                        24-Mar-1990 16:49    3600
t4.desc                                            24-Mar-1990 16:49     864
t4.ver1.clauses                                    24-Mar-1990 16:49    5384
t4.ver1.in                                         24-Mar-1990 16:49    6166
t4.ver1.out                                        24-Mar-1990 16:49    5411
t5.desc                                            24-Mar-1990 16:49     921
t5.ver1.clauses                                    24-Mar-1990 16:49    5436
t5.ver1.in                                         24-Mar-1990 16:49    6218
t5.ver1.out                                        24-Mar-1990 16:49    5410
t6.desc                                            24-Mar-1990 16:49    1019
t6.ver1.clauses                                    24-Mar-1990 16:49    5128
t6.ver1.in                                         24-Mar-1990 16:49    4035
t6.ver1.out                                        24-Mar-1990 16:49    4362
t7.desc                                            24-Mar-1990 16:49    1062
t7.ver1.clauses                                    24-Mar-1990 16:49    3820
t7.ver1.in                                         24-Mar-1990 16:49    4217
t7.ver1.out                                        24-Mar-1990 16:49    4018
t8.desc                                            24-Mar-1990 16:49    1005
t8.ver1.clauses                                    24-Mar-1990 16:49    5135
t8.ver1.in                                         24-Mar-1990 16:49    4283
t8.ver1.out                                        24-Mar-1990 16:49    5508
t9.desc                                            24-Mar-1990 16:49     950
t9.ver1.clauses                                    24-Mar-1990 16:49    5852
t9.ver1.in                                         24-Mar-1990 16:49    6717
t9.ver1.out                                        24-Mar-1990 16:49    4667