rw-rw-r-- 2036/48 212194 Sep 29 08:49 1989 lang/ab-term/doc/abox-doc.ps
rw-rw-r-- 2036/48   1650 Feb 23 15:30 1988 lang/ab-term/examples/calc/calc-agr.txt
rw-rw-r-- 2036/48  33707 Sep 28 15:40 1989 lang/ab-term/examples/calc/calc-analyzer.lisp
rw-rw-r-- 2036/48    543 Jul 19 11:18 1987 lang/ab-term/examples/calc/calc-aux.lisp
rw-rw-r-- 2036/48   1118 Feb 23 12:24 1988 lang/ab-term/examples/calc/calc-gr.txt
rw-rw-r-- 2036/48   3313 Sep 28 15:39 1989 lang/ab-term/examples/calc/calc-lexer.lisp
rw-rw-r-- 2036/48  18225 Sep 28 15:39 1989 lang/ab-term/examples/calc/calc-parser.lisp
rw-rw-r-- 2036/48   3578 Sep 28 15:38 1989 lang/ab-term/examples/calc/calc-sorts.lisp
rw-rw-r-- 2036/48    986 Sep 28 15:36 1989 lang/ab-term/examples/calc/calc-test.lisp
rw-rw-r-- 2036/48    212 Jul 19 11:19 1987 lang/ab-term/examples/calc/calc-top.lisp
rw-r--r-- 2036/48   1510 Aug  6 18:44 1987 lang/ab-term/examples/dv/dv-agr.txt
rw-rw-r-- 2036/48  21653 Sep 28 15:57 1989 lang/ab-term/examples/dv/dv-analyzer.lisp
rw-r--r-- 2036/48   1145 Aug  6 18:33 1987 lang/ab-term/examples/dv/dv-aux.lisp
rw-rw-r-- 2036/48    924 Dec  1 12:44 1988 lang/ab-term/examples/dv/dv-test.lisp
rw-r--r-- 2036/48   1254 Sep 28 17:21 1989 lang/ab-term/examples/sf/sf-agr.txt
rw-rw-r-- 2036/48  20568 Sep 28 15:49 1989 lang/ab-term/examples/sf/sf-analyzer.lisp
rw-r--r-- 2036/48    422 Jul 19 15:43 1987 lang/ab-term/examples/sf/sf-aux.lisp
rw-r--r-- 2036/48   1264 Feb 23 15:01 1988 lang/ab-term/examples/sf/sf-gr.txt
rw-rw-r-- 2036/48   4394 Sep 28 15:46 1989 lang/ab-term/examples/sf/sf-lexer.lisp
rw-rw-r-- 2036/48  17358 Sep 28 15:46 1989 lang/ab-term/examples/sf/sf-parser.lisp
rw-rw-r-- 2036/48   3244 Sep 28 15:45 1989 lang/ab-term/examples/sf/sf-sorts.lisp
rw-rw-r-- 2036/48    976 Dec  1 14:40 1988 lang/ab-term/examples/sf/sf-test.lisp
rw-rw-r-- 2036/48  39809 Sep 28 15:46 1989 lang/ab-term/examples/sf/sf-unparser.lisp
rw-r--r-- 2036/48    819 Dec  1 12:02 1988 lang/ab-term/examples/tl/tl-gr.txt
rw-rw-r-- 2036/48   3590 Sep 28 15:53 1989 lang/ab-term/examples/tl/tl-lexer.lisp
rw-rw-r-- 2036/48  12340 Sep 28 15:53 1989 lang/ab-term/examples/tl/tl-parser.lisp
rw-rw-r-- 2036/48   2262 Sep 28 15:52 1989 lang/ab-term/examples/tl/tl-sorts.lisp
rw-rw-r-- 2036/48  31140 Sep 28 15:52 1989 lang/ab-term/examples/tl/tl-unparser.lisp
r--r--r-- 2036/48  21217 Sep 28 16:25 1989 lang/ab-term/rel/af-agr.txt
rw-rw-r-- 2036/48 279265 Sep 28 19:16 1989 lang/ab-term/rel/af-analyzer.lisp
r--r--r-- 2036/48  23642 Sep 28 16:25 1989 lang/ab-term/rel/af-aux.lisp
r--r--r-- 2036/48  19158 Sep 28 16:25 1989 lang/ab-term/rel/af-dependency.lisp
r--r--r-- 2036/48   4695 Sep 28 16:25 1989 lang/ab-term/rel/af-gr.txt
rw-rw-r-- 2036/48   3792 Sep 28 16:37 1989 lang/ab-term/rel/af-lexer.lisp
rw-rw-r-- 2036/48  69704 Sep 28 16:37 1989 lang/ab-term/rel/af-parser.lisp
rw-rw-r-- 2036/48  13795 Sep 28 16:35 1989 lang/ab-term/rel/af-sorts.lisp
r--r--r-- 2036/48   3576 Sep 28 16:25 1989 lang/ab-term/rel/af-structs.lisp
r--r--r-- 2036/48  12752 Sep 28 16:25 1989 lang/ab-term/rel/af-top.lisp
r--r--r-- 2036/48  11840 Sep 28 16:25 1989 lang/ab-term/rel/code-emitters.lisp
rw-r--r-- 2036/48    419 Sep 29 16:08 1987 lang/ab-term/doc/README
rw-rw-r-- 2036/48    638 Sep 27 17:49 1989 lang/ab-term/examples/README
r--r--r-- 2036/48  10461 Sep 29 08:28 1989 lang/ab-term/rel/release-doc.txt