rwxrwsr-x 109/12 0 Aug 28 03:52 1993 ./ rwxrwsr-x 109/12 0 Aug 28 03:46 1993 ./keim/ rwxrwsr-x 109/12 0 Aug 28 03:53 1993 ./keim/tex/ rwxrwsr-x 109/12 0 Aug 27 21:43 1993 ./keim/prog/ rwxrwsr-x 109/12 0 Aug 27 21:56 1993 ./keim/prog/base/ rw-r--r-- 109/12 15791 Aug 27 21:42 1993 ./keim/prog/base/env.lisp rw-r--r-- 109/12 6376 Aug 27 21:41 1993 ./keim/prog/base/help.lisp rw-r--r-- 109/12 7668 Aug 23 06:33 1993 ./keim/prog/base/keim.lisp rw-rw-r-- 109/12 15501 Aug 27 21:42 1993 ./keim/prog/base/post.lisp rw-r--r-- 109/12 1126 Aug 22 19:39 1993 ./keim/prog/base/base-keim-intro.tex rwxrwsr-x 109/12 0 Aug 27 21:56 1993 ./keim/prog/inter/ rw-r--r-- 109/12 10465 Aug 27 21:43 1993 ./keim/prog/inter/argdefs.lisp rw-r--r-- 109/12 15257 Aug 27 21:43 1993 ./keim/prog/inter/argtypes.lisp rw-r--r-- 109/12 17606 Aug 27 21:43 1993 ./keim/prog/inter/ascii-interface.lisp rw-r--r-- 109/12 20592 Aug 27 21:43 1993 ./keim/prog/inter/command.lisp rw-r--r-- 109/12 13181 Aug 27 21:44 1993 ./keim/prog/inter/interface.lisp rw-r--r-- 109/12 1340 Aug 22 11:55 1993 ./keim/prog/inter/inter-intro.tex rwxrwsr-x 109/12 0 Aug 27 21:56 1993 ./keim/prog/nd/ rw-rw-r-- 109/12 86938 Aug 27 21:45 1993 ./keim/prog/nd/nd.lisp rw-rw-r-- 109/12 17792 Aug 27 21:44 1993 ./keim/prog/nd/rule-examples.lisp rw-rw-r-- 109/12 53808 Aug 27 21:45 1993 ./keim/prog/nd/rule.lisp rw-r--r-- 109/12 1225 Aug 22 11:56 1993 ./keim/prog/nd/nd-intro.tex rwxrwsr-x 109/12 0 Aug 27 21:56 1993 ./keim/prog/problem/ rw-r--r-- 109/12 4523 Aug 27 21:46 1993 ./keim/prog/problem/assum.lisp rw-r--r-- 109/12 4596 Aug 27 21:46 1993 ./keim/prog/problem/conc.lisp rw-r--r-- 109/12 5331 Aug 27 21:46 1993 ./keim/prog/problem/justification.lisp rw-r--r-- 109/12 7742 Aug 27 21:46 1993 ./keim/prog/problem/node.lisp rw-rw-r-- 109/12 14580 Aug 27 21:46 1993 ./keim/prog/problem/problem.lisp rw-r--r-- 109/12 8899 Aug 27 21:46 1993 ./keim/prog/problem/proof.lisp rw-r--r-- 109/12 888 Aug 23 00:32 1993 ./keim/prog/problem/problem-intro.tex rwxrwsr-x 109/12 0 Aug 27 21:56 1993 ./keim/prog/resolution/ rw-rw-r-- 109/12 23006 Aug 27 21:47 1993 ./keim/prog/resolution/clause.lisp rw-rw-r-- 109/12 45232 Aug 27 21:47 1993 ./keim/prog/resolution/cnf.lisp rw-rw-r-- 109/12 19158 Aug 27 21:47 1993 ./keim/prog/resolution/delta.lisp rw-rw-r-- 109/12 14015 Aug 27 21:47 1993 ./keim/prog/resolution/literal.lisp rw-r--r-- 109/12 45756 Aug 27 21:48 1993 ./keim/prog/resolution/resolution.lisp rw-r--r-- 109/12 15130 Aug 27 21:48 1993 ./keim/prog/resolution/set.lisp rw-rw-r-- 109/12 54444 Aug 27 21:48 1993 ./keim/prog/resolution/simpl.lisp rw-rw-r-- 109/12 17396 Aug 27 21:48 1993 ./keim/prog/resolution/simpltest.lisp rw-r--r-- 109/12 139 Aug 23 10:05 1993 ./keim/prog/resolution/resolution-intro.tex rwxrwsr-x 109/12 0 Aug 27 21:56 1993 ./keim/prog/term/ rw-r--r-- 109/12 13397 Aug 27 21:49 1993 ./keim/prog/term/abstr.lisp rw-r--r-- 109/12 14394 Aug 27 21:49 1993 ./keim/prog/term/appl.lisp rw-rw-r-- 109/12 21681 Aug 27 21:49 1993 ./keim/prog/term/fo.lisp rw-rw-r-- 109/12 21162 Aug 27 21:50 1993 ./keim/prog/term/ho-op.lisp rw-rw-r-- 109/12 23195 Aug 27 21:50 1993 ./keim/prog/term/meta.lisp rw-rw-r-- 109/12 127 Aug 22 11:58 1993 ./keim/prog/term/fo-fig.tex rw-rw-r-- 109/12 48047 Aug 27 21:51 1993 ./keim/prog/term/top.lisp rw-r--r-- 109/12 7064 Aug 27 21:50 1993 ./keim/prog/term/sksym.lisp rw-r--r-- 109/12 33181 Aug 27 21:51 1993 ./keim/prog/term/type.lisp rw-r--r-- 109/12 27674 Aug 27 21:51 1993 ./keim/prog/term/term-basic.lisp rw-r--r-- 109/12 25779 Aug 27 21:50 1993 ./keim/prog/term/sym.lisp rw-rw-r-- 109/12 11178 Aug 27 21:50 1993 ./keim/prog/term/poly.lisp rw-r--r-- 109/12 14211 Aug 27 21:50 1993 ./keim/prog/term/position.lisp rw-r--r-- 109/12 5990 Aug 27 21:51 1993 ./keim/prog/term/term-mixin.lisp rw-rw-r-- 109/12 39550 Aug 27 21:50 1993 ./keim/prog/term/subst.lisp rw-rw-r-- 109/12 6449 Aug 27 21:51 1993 ./keim/prog/term/symbol.lisp rw-r--r-- 109/12 15114 Aug 27 21:51 1993 ./keim/prog/term/term-comp.lisp rw-r--r-- 109/12 94 Aug 22 11:56 1993 ./keim/prog/term/term-intro.tex rwxrwsr-x 109/12 0 Aug 27 21:56 1993 ./keim/prog/test/ rw-r--r-- 109/12 6900 Aug 27 21:54 1993 ./keim/prog/test/post-test.lisp rw-r--r-- 109/12 4346 Aug 27 21:54 1993 ./keim/prog/test/skolem-test1.lisp rwxrwsr-x 109/12 0 Aug 27 21:56 1993 ./keim/prog/test-keim/ rw-r--r-- 109/12 3301 Aug 27 21:54 1993 ./keim/prog/test-keim/init.lisp rw-r--r-- 109/12 7699 Aug 27 21:54 1993 ./keim/prog/test-keim/test.lisp rw-r--r-- 109/12 280 Aug 26 03:41 1993 ./keim/prog/test-keim/test-keim-intro.tex rwxrwsr-x 109/12 0 Aug 27 08:35 1993 ./keim/prog/uni/ rw-rw-r-- 109/12 15961 Aug 27 21:55 1993 ./keim/prog/uni/unif.lisp rw-r--r-- 109/12 91 Aug 23 01:08 1993 ./keim/prog/uni/uni-intro.tex rwxrwsr-x 109/12 0 Aug 28 03:47 1993 ./keim/fasl/ rwxrwsr-x 109/12 0 Aug 28 03:50 1993 ./keim/doc/ rw-rw-r-- 109/12 3601 Aug 22 11:58 1993 ./keim/doc/Keim.ps rw-r--r-- 109/12 1326 Aug 22 11:58 1993 ./keim/doc/Keim.fig rw-r--r-- 109/12 125 Aug 22 11:58 1993 ./keim/doc/Keim.tex rw-r--r-- 109/12 7438 Aug 26 03:58 1993 ./keim/doc/prog-conv.tex rwxrwxr-x 109/12 46 Aug 28 03:29 1993 ./keim/doc/keim-makeindex rw-rw-r-- 109/12 10 Aug 28 03:27 1993 ./keim/doc/manual.isty rw-r--r-- 109/12 16095 Aug 22 11:58 1993 ./keim/doc/post-syntax.tex rw-rw-r-- 109/12 115 Aug 22 11:58 1993 ./keim/doc/transfig.tex rw-rw-r-- 109/12 0 Aug 23 02:07 1993 ./keim/keim-intro.tex rw-rw-r-- 109/12 316 Aug 28 01:00 1993 ./keim/README rwxrwsr-x 109/12 0 Aug 28 03:46 1993 ./doc/ rwxrwsr-x 109/12 0 Aug 22 11:43 1993 ./doc/macros/ rw-r--r-- 109/12 10037 Dec 9 17:57 1989 ./doc/macros/psfig.sty r--r--r-- 109/12 5910 Aug 20 08:54 1993 ./doc/macros/tex-macros.tex rw-r--r-- 109/12 12157 Aug 23 00:33 1991 ./doc/macros/code.sty rw-r--r-- 109/12 369 Aug 9 12:10 1993 ./doc/macros/makeidx.sty rw-rw-r-- 109/12 833 Aug 13 07:39 1993 ./doc/macros/omega-abbrevs.tex r--r--r-- 109/12 10617 Aug 18 07:57 1993 ./doc/macros/omega-macros.tex rw-r--r-- 109/12 9673 Oct 27 20:17 1989 ./doc/macros/fancyheadings.sty rw-rw-r-- 109/12 11250 Apr 14 06:52 1993 ./doc/macros/.#omega-macros.tex.~1~ rw-rw-r-- 109/12 790 Aug 6 11:43 1992 ./doc/macros/.#omega-abbrevs.tex.~1~ rw-rw-r-- 109/12 7019 Aug 28 02:21 1993 ./doc/example.tex rw-rw-r-- 109/12 9920 Aug 28 02:22 1993 ./doc/example.dvi rw-rw-r-- 109/12 64658 Aug 28 02:22 1993 ./doc/example.ps rw-rw-r-- 109/12 739904 Aug 28 03:36 1993 ./doc/test-keim-manual.ps rw-rw-r-- 109/12 317 Aug 28 00:54 1993 ./README rwxrwsr-x 109/12 0 Aug 28 03:54 1993 ./sys/ rw-r--r-- 109/12 573 Aug 22 13:25 1993 ./sys/boot.lisp rw-r--r-- 109/12 15850 Aug 27 23:47 1993 ./sys/ags.system rw-r--r-- 109/12 1061 Aug 27 10:01 1993 ./sys/keim.system rw-r--r-- 109/12 1122 Aug 27 10:01 1993 ./sys/nd.system rw-r--r-- 109/12 1694 Aug 27 09:59 1993 ./sys/base-keim.system rw-r--r-- 109/12 1115 Aug 27 10:00 1993 ./sys/inter.system rw-r--r-- 109/12 1609 Aug 27 10:02 1993 ./sys/problem.system rw-rw-r-- 109/12 2726 Aug 28 00:07 1993 ./sys/term.system rw-r--r-- 109/12 1772 Aug 27 10:03 1993 ./sys/resolution.system rw-r--r-- 109/12 1119 Aug 28 00:07 1993 ./sys/test-keim.system rw-r--r-- 109/12 1022 Aug 28 00:07 1993 ./sys/uni.system rw-rw-r-- 109/12 137179 Aug 27 11:45 1993 ./sys/defsystem.lisp rw-rw-r-- 109/12 1429 Aug 23 01:59 1993 ./sys/keim-manual.tex rw-rw-r-- 109/12 63 Aug 23 01:59 1993 ./sys/keim-chapter.tex rw-rw-r-- 109/12 106 Aug 28 01:01 1993 ./sys/compile-all.lisp rw-rw-r-- 109/12 1392 Aug 27 10:02 1993 ./sys/omega.system rw-rw-r-- 109/12 1355 Aug 27 10:03 1993 ./sys/trans.system rwxrwsr-x 109/12 0 Aug 28 01:00 1993 ./ags/ rwxrwsr-x 109/12 0 Aug 28 03:45 1993 ./ags/prog/ rw-r--r-- 109/12 21145 Aug 27 21:36 1993 ./ags/prog/check-modules.lisp rwxrwsr-x 109/12 0 Aug 27 22:05 1993 ./ags/prog/emacs/ rw-rw-r-- 109/12 13411 Aug 27 21:37 1993 ./ags/prog/emacs/symbolics.lisp rwxrwxr-x 109/12 9052 Aug 22 11:49 1993 ./ags/prog/emacs/exdocu.el rw-r--r-- 109/12 9679 Aug 27 21:38 1993 ./ags/prog/modules.lisp rw-r--r-- 109/12 6327 Aug 27 21:41 1993 ./ags/prog/pcl-fixes.lisp rw-r--r-- 109/12 20699 Aug 27 21:40 1993 ./ags/prog/sys.lisp rw-rw-r-- 109/12 768 Aug 22 18:49 1993 ./ags/prog/ags-intro.tex rw-r--r-- 109/12 13978 Aug 27 21:37 1993 ./ags/prog/doc.lisp rw-r--r-- 109/12 22123 Aug 27 21:37 1993 ./ags/prog/doca.lisp rw-r--r-- 109/12 119165 Aug 25 12:36 1993 ./ags/prog/xp-code.lisp rw-rw-r-- 109/12 16620 Aug 27 21:38 1993 ./ags/prog/pprint.lisp rw-r--r-- 109/12 53669 Aug 28 03:05 1993 ./ags/prog/docl.lisp rw-rw-r-- 109/12 9347 Aug 28 03:42 1993 ./ags/prog/man.lisp rwxrwsr-x 109/12 0 Aug 28 03:45 1993 ./ags/tex/ rwxrwsr-x 109/12 0 Aug 28 03:45 1993 ./ags/fasl/ rw-rw-r-- 109/12 304 Aug 28 00:52 1993 ./ags/README rwxrwxrwx 109/12 0 Aug 28 01:00 1993 ./ags/doc symbolic link to ../keim/doc rw-rw-r-- 109/12 2133 Aug 27 21:35 1993 ./COPYRIGHT rw-rw-r-- 109/12 9470 Aug 28 03:31 1993 ./keim.README rw-rw-r-- 109/12 1009 Aug 28 03:52 1993 ./TODO