rw-rw-r-- 174/48 19403 Sep 22 18:41 1989 elp/doc/document.list rw-rw-r-- 174/48 1647 Sep 22 18:41 1989 elp/doc/help.list r--r--r-- 174/48 2133 Oct 8 17:28 1989 elp/doc/initialization.doc r--r--r-- 174/48 1537 Sep 13 10:06 1989 elp/doc/lisp-interface.doc r--r--r-- 174/48 454 Oct 8 17:30 1989 elp/doc/topics/arithmetic.doc r--r--r-- 174/48 3748 Oct 8 17:30 1989 elp/doc/topics/help.doc r--r--r-- 174/48 3996 Oct 8 17:30 1989 elp/doc/topics/input.doc r--r--r-- 174/48 10148 Oct 8 17:30 1989 elp/doc/topics/interpreter.doc r--r--r-- 174/48 925 Oct 8 17:30 1989 elp/doc/topics/lists.doc r--r--r-- 174/48 6617 Oct 8 17:30 1989 elp/doc/topics/logprim.doc r--r--r-- 174/48 3460 Oct 8 17:30 1989 elp/doc/topics/modules.doc r--r--r-- 174/48 857 Oct 8 17:30 1989 elp/doc/topics/output.doc r--r--r-- 174/48 1564 Oct 8 17:30 1989 elp/doc/topics/parsing.doc r--r--r-- 174/48 5021 Oct 8 17:30 1989 elp/doc/topics/switches.doc r--r--r-- 174/48 3192 Oct 8 17:30 1989 elp/doc/topics/toplevel.doc r--r--r-- 174/48 280 Oct 8 17:30 1989 elp/doc/topics/tracing.doc r--r--r-- 174/48 1036 Oct 8 17:30 1989 elp/doc/topics/warnings.doc rw-rw-r-- 174/48 1215 Sep 29 09:44 1989 elp/examples/church/church.mod rw-rw-r-- 174/48 767 Sep 29 11:35 1989 elp/examples/deduction/convert.mod rw-rw-r-- 174/48 548 Sep 29 11:35 1989 elp/examples/deduction/copy.mod rw-rw-r-- 174/48 584 Sep 29 11:35 1989 elp/examples/deduction/dfs.mod rw-rw-r-- 174/48 405 Sep 29 11:35 1989 elp/examples/deduction/dfstest.mod rw-rw-r-- 174/48 384 Sep 29 11:35 1989 elp/examples/deduction/fol.mod rw-rw-r-- 174/48 3028 Sep 29 11:35 1989 elp/examples/deduction/formulas.mod rw-rw-r-- 174/48 625 Sep 29 11:35 1989 elp/examples/deduction/goalred.mod rw-rw-r-- 174/48 347 Sep 29 11:35 1989 elp/examples/deduction/goals.mod rw-rw-r-- 174/48 3619 Sep 29 11:35 1989 elp/examples/deduction/hol.mod rw-rw-r-- 174/48 1453 Sep 29 11:35 1989 elp/examples/deduction/idfs.mod rw-rw-r-- 174/48 703 Sep 29 11:35 1989 elp/examples/deduction/idfstest.mod rw-rw-r-- 174/48 2299 Sep 29 16:17 1989 elp/examples/deduction/inter_tacs.mod rw-rw-r-- 174/48 1570 Sep 29 11:35 1989 elp/examples/deduction/lc_auto.mod rw-rw-r-- 174/48 1415 Sep 29 11:35 1989 elp/examples/deduction/lc_iter.mod rw-rw-r-- 174/48 1805 Sep 29 11:35 1989 elp/examples/deduction/lc_prove.mod rw-rw-r-- 174/48 339 Sep 29 11:35 1989 elp/examples/deduction/lc_top.mod rw-rw-r-- 174/48 412 Sep 29 11:35 1989 elp/examples/deduction/lcprfchk.mod rw-rw-r-- 174/48 2032 Sep 29 11:35 1989 elp/examples/deduction/lcprover.mod rw-rw-r-- 174/48 715 Sep 29 11:35 1989 elp/examples/deduction/lf_fol.mod rw-rw-r-- 174/48 1723 Sep 29 11:35 1989 elp/examples/deduction/lf_ni.mod rw-rw-r-- 174/48 1546 Sep 29 11:35 1989 elp/examples/deduction/lfconv.mod rw-rw-r-- 174/48 1012 Sep 29 11:35 1989 elp/examples/deduction/lfnorm.mod rw-rw-r-- 174/48 479 Sep 29 11:35 1989 elp/examples/deduction/lfsig.mod rw-rw-r-- 174/48 302 Sep 29 11:35 1989 elp/examples/deduction/liprfchk.mod rw-rw-r-- 174/48 2282 Sep 29 11:35 1989 elp/examples/deduction/liprover.mod rw-rw-r-- 174/48 141 Sep 29 11:35 1989 elp/examples/deduction/lni_top.mod rw-rw-r-- 174/48 1999 Sep 29 11:35 1989 elp/examples/deduction/lniprover.mod rw-rw-r-- 174/48 875 Sep 29 11:35 1989 elp/examples/deduction/lprf.mod rw-rw-r-- 174/48 451 Sep 29 13:10 1989 elp/examples/deduction/lprfex.mod rw-rw-r-- 174/48 800 Sep 29 11:35 1989 elp/examples/deduction/mapcopy.mod rw-rw-r-- 174/48 662 Sep 29 11:35 1989 elp/examples/deduction/maptac.mod rw-rw-r-- 174/48 419 Sep 29 11:35 1989 elp/examples/deduction/ncprfchk.mod rw-rw-r-- 174/48 1103 Sep 29 11:35 1989 elp/examples/deduction/ncprover.mod rw-rw-r-- 174/48 327 Sep 29 13:01 1989 elp/examples/deduction/nd.mod rw-rw-r-- 174/48 850 Sep 29 14:04 1989 elp/examples/deduction/nd_top.mod rw-rw-r-- 174/48 749 Sep 29 11:35 1989 elp/examples/deduction/ndc.mod rw-rw-r-- 174/48 1411 Sep 29 11:35 1989 elp/examples/deduction/ndcopy.mod rw-rw-r-- 174/48 335 Sep 29 11:35 1989 elp/examples/deduction/ndgoal.mod rw-rw-r-- 174/48 2983 Sep 29 11:35 1989 elp/examples/deduction/ndnorm.mod rw-rw-r-- 174/48 1472 Sep 29 11:35 1989 elp/examples/deduction/ndnormalize.mod rw-rw-r-- 174/48 417 Sep 29 11:35 1989 elp/examples/deduction/ndprint.mod rw-rw-r-- 174/48 2179 Sep 29 11:35 1989 elp/examples/deduction/ndredex.mod rw-rw-r-- 174/48 4006 Sep 29 11:35 1989 elp/examples/deduction/ndtac.mod rw-rw-r-- 174/48 1261 Sep 29 11:35 1989 elp/examples/deduction/ninormal.mod rw-rw-r-- 174/48 1846 Sep 29 11:35 1989 elp/examples/deduction/ninormal1.mod rw-rw-r-- 174/48 419 Sep 29 11:35 1989 elp/examples/deduction/niprfchk.mod rw-rw-r-- 174/48 1074 Sep 29 11:35 1989 elp/examples/deduction/niprover.mod rw-rw-r-- 174/48 1064 Sep 29 11:35 1989 elp/examples/deduction/nprf.mod rw-rw-r-- 174/48 895 Sep 29 11:35 1989 elp/examples/deduction/nprfex.mod rw-rw-r-- 174/48 287 Sep 29 11:35 1989 elp/examples/deduction/st.mod rw-rw-r-- 174/48 202 Sep 29 12:44 1989 elp/examples/deduction/sttest.mod rw-rw-r-- 174/48 1072 Sep 29 11:35 1989 elp/examples/deduction/tacticals.mod rw-rw-r-- 601/48 422422 Oct 11 15:42 1989 elp/examples/ebg/doc/ebg.PS rw-rw-r-- 601/48 1034 Oct 6 14:14 1989 elp/examples/ebg/intgr/integrate.mod rw-rw-r-- 601/48 7803 Oct 6 14:14 1989 elp/examples/ebg/metaebg.mod rw-rw-r-- 174/48 452 Oct 8 12:15 1989 elp/examples/ebg/proofck/ebg_fol.mod rw-r--r-- 174/48 4677 Oct 8 12:15 1989 elp/examples/ebg/proofck/form.mod rw-r--r-- 601/48 64 Oct 6 14:14 1989 elp/examples/ebg/proofck/grammar.lisp rw-r--r-- 174/48 1108 Oct 8 12:15 1989 elp/examples/ebg/proofck/ndproofs.mod rw-rw-r-- 601/48 2429 Oct 6 14:14 1989 elp/examples/ebg/proofck/nj_ebg.mod rw-rw-r-- 601/48 1301 Oct 6 14:14 1989 elp/examples/ebg/proofck/nproofex.mod rw-rw-r-- 601/48 868 Oct 6 14:14 1989 elp/examples/ebg/suicide/suicide.mod rw-rw-r-- 174/48 2856 Oct 8 12:11 1989 elp/examples/ebg/tactic/ebg_tacticals.mod rw-rw-r-- 601/48 7775 Oct 6 14:14 1989 elp/examples/ebg/tactic/metaebg_ext.mod rw-rw-r-- 174/48 2730 Oct 8 12:11 1989 elp/examples/ebg/tactic/tac_integrate.mod rw-rw-r-- 601/48 7414 Oct 6 14:14 1989 elp/examples/ebg/tail_rec/tail_rec_ebg.mod rw-rw-r-- 174/48 1183 Sep 6 09:49 1989 elp/examples/elp.init rw-r--r-- 174/48 1891 Sep 22 10:34 1989 elp/examples/meta88/camdecl.mod rw-r--r-- 174/48 2921 Sep 22 10:34 1989 elp/examples/meta88/cameval.mod rw-rw-r-- 174/48 227 Sep 22 11:19 1989 elp/examples/meta88/camindex.mod rw-r--r-- 174/48 3366 Sep 22 10:34 1989 elp/examples/meta88/camml.mod rw-r--r-- 174/48 2700 Sep 22 10:34 1989 elp/examples/meta88/camtest.mod rw-r--r-- 174/48 2268 Sep 22 10:34 1989 elp/examples/meta88/mldecl.mod rw-r--r-- 174/48 2921 Sep 22 10:34 1989 elp/examples/meta88/mleval.mod rw-r--r-- 174/48 1733 Sep 22 10:34 1989 elp/examples/meta88/mlexam.mod rw-rw-r-- 174/48 227 Sep 22 11:21 1989 elp/examples/meta88/mlindex.mod rw-r--r-- 174/48 856 Sep 22 10:34 1989 elp/examples/meta88/mltest.mod rw-r--r-- 174/48 2135 Sep 22 10:34 1989 elp/examples/meta88/mltype.mod rw-rw-r-- 174/48 1960 Sep 18 09:14 1989 elp/examples/metaint/meta.mod rw-rw-r-- 174/48 1675 Sep 18 09:30 1989 elp/examples/metaint/meta_ex.mod rw-rw-r-- 174/48 2912 Sep 18 09:21 1989 elp/examples/metaint/metacut.mod rw-rw-r-- 174/48 82 Sep 18 09:12 1989 elp/examples/metaint/metacut_ex.mod rw-rw-r-- 174/48 2482 Sep 18 09:27 1989 elp/examples/metaint/metaelf.mod rw-rw-r-- 174/48 3956 Sep 18 09:19 1989 elp/examples/metaint/metaproof.mod rw-rw-r-- 174/48 2968 Sep 15 14:39 1989 elp/examples/misc/norm_dform.mod rw-rw-r-- 174/48 595 Sep 15 14:43 1989 elp/examples/misc/prims.mod rw-rw-r-- 174/48 1465 Sep 18 14:51 1989 elp/examples/misc/top_utils.mod rw-rw-r-- 174/48 723 Sep 11 11:18 1989 elp/examples/polylam/lameval.mod rw-rw-r-- 174/48 382 Sep 11 11:15 1989 elp/examples/polylam/lamsig.mod rw-rw-r-- 174/48 648 Sep 12 20:10 1989 elp/examples/polylam/lamsubst.mod rw-rw-r-- 174/48 4669 Sep 11 12:17 1989 elp/examples/polylam/polycompile.mod rw-rw-r-- 174/48 2452 Sep 11 12:18 1989 elp/examples/polylam/polydiag.mod rw-rw-r-- 174/48 1107 Sep 11 12:10 1989 elp/examples/polylam/polyinf.mod rw-rw-r-- 174/48 1306 Sep 11 11:02 1989 elp/examples/polylam/polysig.mod rw-r--r-- 174/48 2080 Sep 26 11:08 1989 elp/examples/subst/director.mod rw-r--r-- 174/48 2937 Sep 26 11:08 1989 elp/examples/subst/examples.mod rw-r--r-- 174/48 959 Sep 26 11:08 1989 elp/examples/subst/hftrans.mod rw-r--r-- 174/48 139 Sep 26 11:08 1989 elp/examples/subst/sub0.mod rw-r--r-- 174/48 341 Sep 26 11:08 1989 elp/examples/subst/sub1.mod rw-r--r-- 174/48 369 Sep 26 11:09 1989 elp/examples/subst/sub2.mod rw-r--r-- 174/48 826 Sep 26 11:09 1989 elp/examples/subst/sub3.mod rw-r--r-- 174/48 992 Sep 26 11:09 1989 elp/examples/subst/sub4.mod rw-r--r-- 174/48 1116 Sep 26 11:09 1989 elp/examples/subst/sub5.mod rw-r--r-- 174/48 375 Sep 26 11:10 1989 elp/examples/subst/suba.mod rw-r--r-- 174/48 529 Sep 26 11:10 1989 elp/examples/subst/subb.mod rw-r--r-- 174/48 1495 Sep 26 11:10 1989 elp/examples/subst/subdb.mod rw-r--r-- 174/48 1057 Sep 26 11:10 1989 elp/examples/subst/substaux.mod r--r--r-- 601/48 6830 Oct 2 20:34 1989 elp/grammar/rel/slterm-gr.txt rw-rw-r-- 174/48 3694 Oct 2 20:37 1989 elp/grammar/rel/slterm-lexer.lisp rw-rw-r-- 174/48 53809 Oct 2 20:37 1989 elp/grammar/rel/slterm-parser.lisp rw-rw-r-- 174/48 21840 Oct 2 20:36 1989 elp/grammar/rel/slterm-sorts.lisp rw-rw-r-- 174/48 74704 Oct 2 20:36 1989 elp/grammar/rel/slterm-unparser.lisp r--r--r-- 601/48 29204 Nov 17 13:14 1989 elp/lib/rel/elp.mod r--r--r-- 174/48 4186 Sep 19 09:39 1989 elp/lib/rel/help.mod r--r--r-- 174/48 2111 Oct 5 20:49 1989 elp/lib/rel/lists.mod r--r--r-- 174/48 1112 Oct 8 17:00 1989 elp/lib/rel/maps.mod r--r--r-- 174/48 5652 Sep 15 14:21 1989 elp/lp/rel/ident.lisp r--r--r-- 174/48 3937 Sep 16 10:53 1989 elp/lp/rel/lp-evaluate.lisp r--r--r-- 174/48 3449 Sep 15 14:21 1989 elp/lp/rel/lp-form.lisp r--r--r-- 174/48 6846 Sep 15 14:21 1989 elp/lp/rel/lp-from-smodule.lisp r--r--r-- 174/48 2896 Sep 15 14:21 1989 elp/lp/rel/lp-id.lisp r--r--r-- 174/48 11657 Sep 17 20:57 1989 elp/lp/rel/lp-interface.lisp r--r--r-- 174/48 9262 Sep 15 14:21 1989 elp/lp/rel/lp-module.lisp r--r--r-- 174/48 11490 Sep 16 15:18 1989 elp/lp/rel/lp-program.lisp r--r--r-- 174/48 16745 Sep 15 14:21 1989 elp/lp/rel/lp-solve.lisp r--r--r-- 174/48 38513 Sep 19 09:33 1989 elp/lp/rel/lp-special.lisp r--r--r-- 174/48 6186 Oct 6 20:33 1989 elp/lp/rel/lp-top.lisp r--r--r-- 174/48 1002 Sep 15 14:21 1989 elp/lp/rel/smodule.lisp r--r--r-- 174/48 13964 Sep 15 14:25 1989 elp/lterm/rel/lterm-adts.lisp r--r--r-- 174/48 10643 Sep 15 14:25 1989 elp/lterm/rel/lterm-convert.lisp r--r--r-- 174/48 4261 Oct 24 20:52 1989 elp/lterm/rel/lterm-cterm.lisp r--r--r-- 174/48 2733 Sep 15 14:25 1989 elp/lterm/rel/lterm-exp.lisp r--r--r-- 2672/48 14978 Sep 29 22:46 1989 elp/lterm/rel/lterm-form.lisp r--r--r-- 174/48 27755 Sep 29 11:07 1989 elp/lterm/rel/lterm-from-slterm.lisp r--r--r-- 174/48 8114 Sep 15 14:26 1989 elp/lterm/rel/lterm-gvar-gvar.lisp r--r--r-- 174/48 15159 Sep 15 14:26 1989 elp/lterm/rel/lterm-prune.lisp r--r--r-- 174/48 3285 Sep 15 14:25 1989 elp/lterm/rel/lterm-special.lisp r--r--r-- 174/48 7172 Sep 16 20:47 1989 elp/lterm/rel/lterm-tlang.lisp r--r--r-- 2672/48 7646 Sep 29 23:38 1989 elp/lterm/rel/lterm-to-slterm.lisp r--r--r-- 174/48 2193 Sep 15 14:26 1989 elp/lterm/rel/lterm-translator.lisp r--r--r-- 174/48 3446 Sep 15 14:26 1989 elp/lterm/rel/lterm-tunify.lisp r--r--r-- 174/48 23889 Sep 16 16:23 1989 elp/lterm/rel/lterm-unify.lisp r--r--r-- 174/48 9777 Sep 15 14:26 1989 elp/lterm/rel/lterm-vtopt.lisp r--r--r-- 174/48 2963 Sep 15 14:26 1989 elp/lterm/rel/slterm-io.lisp r--r--r-- 174/48 1755 Sep 15 14:26 1989 elp/lterm/rel/slterm-system.lisp r--r--r-- 174/48 7755 Sep 15 14:26 1989 elp/lterm/rel/slterm-term-rep.lisp r--r--r-- 174/48 1581 Sep 15 14:26 1989 elp/lterm/rel/slterm.lisp rw-rw-r-- 174/48 5609 Oct 8 16:32 1989 elp/doc/WELCOME rw-rw-r-- 174/48 130 Sep 22 14:56 1989 elp/doc/topics/README rw-rw-r-- 174/48 6713 Sep 29 09:56 1989 elp/examples/church/README rw-rw-r-- 174/48 4376 Oct 5 21:00 1989 elp/examples/deduction/README rw-rw-r-- 601/48 8578 Feb 19 14:25 1990 elp/examples/deduction/grammar/slterm-gr.txt 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-r--r-- 174/48 1541 Sep 22 10:33 1989 elp/examples/meta88/README rw-rw-r-- 174/48 1191 Sep 18 09:28 1989 elp/examples/metaint/README rw-rw-r-- 174/48 2418 Sep 18 09:33 1989 elp/examples/metaint/meta_ex.rec rw-r--r-- 174/48 863 Sep 26 11:08 1989 elp/examples/subst/README