rwxr-xr-x 4273/0 0 Aug 6 18:14 1993 ontic/ rw-r--r-- 4273/0 5692 Aug 6 17:32 1993 ontic/undo.lisp rw-r--r-- 4273/0 1443 Aug 6 17:30 1993 ontic/README rw-r--r-- 4273/0 182 Aug 6 17:30 1993 ontic/README-undo.lisp rwxr-xr-x 4273/0 0 Aug 6 18:14 1993 ontic/adage/ rw-r--r-- 4273/0 39798 Aug 6 17:30 1993 ontic/adage/circ-comp.lisp rw-r--r-- 4273/0 240 Aug 6 17:30 1993 ontic/adage/circ-defsys.lisp rw-r--r-- 4273/0 30847 Aug 6 17:30 1993 ontic/adage/interface.lisp rw-r--r-- 4273/0 45768 Aug 6 17:30 1993 ontic/adage/layout.lisp rw-r--r-- 4273/0 7837 Aug 6 17:32 1993 ontic/adage/util.circ rw-r--r-- 4273/0 38053 Aug 6 17:32 1993 ontic/adage/util.lisp rwxr-xr-x 4273/0 0 Aug 6 18:08 1993 ontic/interface/ rw-r--r-- 4273/0 1879 Apr 9 16:30 1992 ontic/interface/emacs-eval.lisp rw-r--r-- 4273/0 1729 Jul 10 09:31 1992 ontic/interface/emacs-eval.el rw-r--r-- 4273/0 1585 Jun 19 13:56 1992 ontic/interface/ontic-init.el rw-r--r-- 4273/0 20996 Jul 22 13:44 1992 ontic/interface/ontic-mode.el rw-r--r-- 4273/0 46938 Mar 26 17:50 1992 ontic/interface/lshare.el rw-r--r-- 4273/0 9483 Feb 11 16:27 1992 ontic/interface/HISTORY rw-r--r-- 4273/0 3910 Feb 11 16:27 1992 ontic/interface/README rw-r--r-- 4273/0 1960 Mar 26 17:50 1992 ontic/interface/allegro.lisp rw-r--r-- 4273/0 15909 Mar 26 17:50 1992 ontic/interface/bridge.el rw-r--r-- 4273/0 12618 Mar 26 17:50 1992 ontic/interface/clisp.lisp rw-r--r-- 4273/0 44573 Feb 11 16:27 1992 ontic/interface/clisp.o rw-r--r-- 4273/0 4480 Mar 26 17:50 1992 ontic/interface/cmulisp.lisp rw-r--r-- 4273/0 4449 Feb 11 16:27 1992 ontic/interface/cmulisp.lisp.ORIG rw-r--r-- 4273/0 32902 Mar 26 17:50 1992 ontic/interface/comint-ipc.el rw-r--r-- 4273/0 57721 Mar 26 17:50 1992 ontic/interface/comint.el rw-r--r-- 4273/0 28540 Mar 26 17:50 1992 ontic/interface/completer.el rw-r--r-- 4273/0 159 Feb 11 16:27 1992 ontic/interface/completer.lcd rw-r--r-- 4273/0 108111 Mar 26 17:50 1992 ontic/interface/completion.el rw-r--r-- 4273/0 28160 Mar 26 17:50 1992 ontic/interface/rcs.el rw-r--r-- 4273/0 1937 Mar 26 17:50 1992 ontic/interface/lucid.lisp rw-r--r-- 4273/0 2655 Apr 17 19:28 1992 ontic/interface/ontic-ilisp.el rw-r--r-- 4273/0 7557 Feb 11 16:27 1992 ontic/interface/epoch-pop rw-r--r-- 4273/0 171 Feb 11 16:27 1992 ontic/interface/epoch-pop.lcd rw-r--r-- 4273/0 4176 Mar 26 17:50 1992 ontic/interface/ilisp-bat.el rw-r--r-- 4273/0 23754 Mar 26 17:50 1992 ontic/interface/ilisp-ext.el rw-r--r-- 4273/0 19188 Mar 26 17:50 1992 ontic/interface/ilisp-src.el rw-r--r-- 4273/0 181160 Feb 11 16:27 1992 ontic/interface/ilisp.dvi rw-r--r-- 4273/0 133734 Mar 26 17:50 1992 ontic/interface/ilisp.el rw-r--r-- 4273/0 133728 Feb 11 16:27 1992 ontic/interface/ilisp.el.ORIG rw-r--r-- 4273/0 2769 Feb 11 16:27 1992 ontic/interface/ilisp.emacs rw-r--r-- 4273/0 69718 Feb 11 16:27 1992 ontic/interface/ilisp.info rw-r--r-- 4273/0 151 Feb 11 16:27 1992 ontic/interface/ilisp.lcd rw-r--r-- 4273/0 250038 Feb 11 16:27 1992 ontic/interface/ilisp.ps rw-r--r-- 4273/0 59214 Feb 11 16:27 1992 ontic/interface/ilisp.texi rw-r--r-- 4273/0 1257 Apr 9 16:36 1992 ontic/interface/ontic.lisp rw-r--r-- 4273/0 11490 Jun 23 11:21 1992 ontic/interface/share.el rw-r--r-- 4273/0 17566 Mar 26 17:50 1992 ontic/interface/popper.el rw-r--r-- 4273/0 155 Feb 11 16:27 1992 ontic/interface/popper.lcd rw-r--r-- 4273/0 5609 Mar 26 17:50 1992 ontic/interface/symlink.el rw-r--r-- 4273/0 804 Aug 14 14:45 1992 ontic/interface/ontic-implementors.el rw-r--r-- 4273/0 1016 May 24 16:52 1992 ontic/interface/lucid-init.el rw-r--r-- 4273/0 18538 Jul 9 14:20 1992 ontic/interface/ontic-mode-old.el rwxr-xr-x 4273/0 0 Aug 6 18:10 1993 ontic/manual/ rw-r--r-- 4273/0 219106 Aug 6 17:30 1993 ontic/manual/ontic-induction.ps rw-r--r-- 4273/0 16384 Aug 6 17:30 1993 ontic/manual/ontic-manual.ps rw-r--r-- 4273/0 178840 Oct 15 10:30 1992 ontic/manual/ontic-manual.dvi rwxr-xr-x 4273/0 0 Aug 6 18:09 1993 ontic/rel11.5/ rw-r--r-- 4273/0 48931 Aug 18 13:20 1992 ontic/rel11.5/tactics.lisp rw-r--r-- 4273/0 138 Aug 18 11:11 1992 ontic/rel11.5/compile-defs-and-init.lisp rw-r--r-- 4273/0 52660 Aug 18 11:11 1992 ontic/rel11.5/congruence.lisp rw-r--r-- 4273/0 13538 Aug 18 11:11 1992 ontic/rel11.5/debug.lisp rw-r--r-- 4273/0 5649 Aug 18 11:41 1992 ontic/rel11.5/defsys.lisp rw-r--r-- 4273/0 11424 Aug 18 11:11 1992 ontic/rel11.5/exp-con.lisp rw-r--r-- 4273/0 4225 Aug 18 11:11 1992 ontic/rel11.5/goals.lisp rw-r--r-- 4273/0 5300 Aug 18 11:11 1992 ontic/rel11.5/integers.lisp rw-r--r-- 4273/0 5780 Sep 8 15:29 1992 ontic/rel11.5/patches.lisp rw-r--r-- 4273/0 29758 Aug 18 11:11 1992 ontic/rel11.5/large-thunks.lisp rw-r--r-- 4273/0 30201 Aug 18 11:11 1992 ontic/rel11.5/mo-util.lisp rw-r--r-- 4273/0 15053 Aug 18 11:11 1992 ontic/rel11.5/new-recursion.lisp rw-r--r-- 4273/0 3091 Aug 18 11:11 1992 ontic/rel11.5/ontic-eval.lisp rw-r--r-- 4273/0 35772 Aug 18 11:11 1992 ontic/rel11.5/pieces.lisp rw-r--r-- 4273/0 44170 Aug 18 11:11 1992 ontic/rel11.5/quantifiers.lisp rw-r--r-- 4273/0 4581 Aug 18 11:11 1992 ontic/rel11.5/queues.lisp rw-r--r-- 4273/0 51102 Aug 18 11:11 1992 ontic/rel11.5/rcomp.lisp rw-r--r-- 4273/0 51211 Aug 18 11:11 1992 ontic/rel11.5/sbhlps.lisp rw-r--r-- 4273/0 37092 Aug 18 11:11 1992 ontic/rel11.5/screamer.lisp rw-r--r-- 4273/0 352091 Aug 18 11:11 1992 ontic/rel11.5/sort.lisp rw-r--r-- 4273/0 3716 Aug 18 11:11 1992 ontic/rel11.5/structures.lisp rw-r--r-- 4273/0 32083 Aug 18 11:11 1992 ontic/rel11.5/syntax.lisp rw-r--r-- 4273/0 24118 Aug 18 11:11 1992 ontic/rel11.5/taxonomy.lisp rw-r--r-- 4273/0 20740 Aug 18 11:11 1992 ontic/rel11.5/undo-array.lisp rw-r--r-- 4273/0 37393 Aug 18 11:11 1992 ontic/rel11.5/util.lisp rw-r--r-- 4273/0 232 Aug 18 14:02 1992 ontic/rel11.5/timestamps