jtb 1184440a59 Initial import of new "otter" package: ... Otter is a theorem-proving program		2000-11-25 18:19:19 +00:00
..
COMMENT	Initial import of new "otter" package:	2000-11-25 18:19:19 +00:00
DESCR	Initial import of new "otter" package:	2000-11-25 18:19:19 +00:00
PLIST	Initial import of new "otter" package:	2000-11-25 18:19:19 +00:00