Index of /pub/ATP_problems/logic.problems/morgan/


../
README                                             24-Mar-1990 16:48    2609
morgan.five.desc                                   24-Mar-1990 16:48    1339
morgan.five.ver1.clauses                           24-Mar-1990 16:48     925
morgan.five.ver1.in                                24-Mar-1990 16:48     991
morgan.five.ver1.out                               24-Mar-1990 16:48    3055
morgan.five.ver2.clauses                           24-Mar-1990 16:48    1003
morgan.five.ver2.in                                24-Mar-1990 16:48    1069
morgan.five.ver2.out                               24-Mar-1990 16:48     157
morgan.four.desc                                   24-Mar-1990 16:48     924
morgan.four.ver1.clauses                           24-Mar-1990 16:48     987
morgan.four.ver1.in                                24-Mar-1990 16:48    1053
morgan.four.ver1.out                               24-Mar-1990 16:48    3152
morgan.one.desc                                    24-Mar-1990 16:48     870
morgan.one.ver1.clauses                            24-Mar-1990 16:48     915
morgan.one.ver1.in                                 24-Mar-1990 16:48     981
morgan.one.ver1.out                                24-Mar-1990 16:48    2860
morgan.six.desc                                    24-Mar-1990 16:48     884
morgan.six.ver1.clauses                            24-Mar-1990 16:48     903
morgan.six.ver1.in                                 24-Mar-1990 16:48     957
morgan.six.ver1.out                                24-Mar-1990 16:48     156
morgan.three.desc                                  24-Mar-1990 16:48    1317
morgan.three.ver1.clauses                          24-Mar-1990 16:48    1120
morgan.three.ver1.in                               24-Mar-1990 16:48    1192
morgan.three.ver1.out                              24-Mar-1990 16:48    2787
morgan.three.ver2.clauses                          24-Mar-1990 16:48    1083
morgan.three.ver2.in                               24-Mar-1990 16:48    1155
morgan.three.ver2.out                              24-Mar-1990 16:48    2786
morgan.two.desc                                    24-Mar-1990 16:48     917
morgan.two.ver1.clauses                            24-Mar-1990 16:48     986
morgan.two.ver1.in                                 24-Mar-1990 16:48    1052
morgan.two.ver1.out                                24-Mar-1990 16:48    3150