rw-rw-r-- 174/48  12531 Feb 19 14:28 1990 elp/examples/deduction/grammar/slterm-info.lisp
rw-rw-r-- 174/48   3901 Feb 19 14:28 1990 elp/examples/deduction/grammar/slterm-lexer.lisp
rw-rw-r-- 174/48  78107 Feb 19 14:28 1990 elp/examples/deduction/grammar/slterm-parser.lisp
rw-rw-r-- 174/48  21840 Feb 19 14:27 1990 elp/examples/deduction/grammar/slterm-sorts.lisp
rw-rw-r-- 174/48 104764 Feb 19 14:27 1990 elp/examples/deduction/grammar/slterm-unparser.lisp
rw-rw-r-- 601/48   8578 Feb 19 14:25 1990 elp/examples/deduction/grammar/slterm-gr.txt