Index of /pub/Otter/AAR28-challenge/


../
A.in                                               13-Jan-1995 17:04     861
A.proof                                            13-Jan-1995 17:04    9664
B.in                                               13-Jan-1995 17:04     675
B.proof                                            13-Jan-1995 17:04    2474
C.in                                               13-Jan-1995 17:04     589
C.proof                                            13-Jan-1995 17:04    8135
D.in                                               13-Jan-1995 17:04     837
README                                             12-Jan-1995 20:53     264
article.ps                                         12-Jan-1995 21:01     45K