rwxr-xr-x 429/16 0 Jul 6 15:38 1988 lp2.7/ rwxr-xr-x 429/16 0 Jul 1 13:59 1988 lp2.7/examples/ rwxr-xr-x 429/16 0 Jul 7 11:16 1988 lp2.7/examples/cade9/ rw-r--r-- 429/16 1736 Jul 7 11:12 1988 lp2.7/examples/cade9/README rw-r--r-- 429/16 610 Jun 20 11:05 1988 lp2.7/examples/cade9/compound.mod rw-r--r-- 429/16 4292 Jun 20 11:05 1988 lp2.7/examples/cade9/formulas.mod rw-r--r-- 429/16 251 Jun 20 11:05 1988 lp2.7/examples/cade9/goaltypes.mod rw-r--r-- 429/16 1155 Jun 20 11:05 1988 lp2.7/examples/cade9/inter.mod rw-r--r-- 429/16 1293 Jun 20 11:05 1988 lp2.7/examples/cade9/listmanip.mod rw-r--r-- 429/16 447 Jun 20 11:05 1988 lp2.7/examples/cade9/logic.mod rw-r--r-- 429/16 1052 Jun 20 11:05 1988 lp2.7/examples/cade9/ndproofs.mod rw-r--r-- 429/16 3753 Jun 20 11:05 1988 lp2.7/examples/cade9/ndtac.mod rw-r--r-- 429/16 602 Jun 20 11:05 1988 lp2.7/examples/cade9/scr1 rw-r--r-- 429/16 909 Jun 20 11:05 1988 lp2.7/examples/cade9/scr2 rw-r--r-- 429/16 3709 Jun 20 11:05 1988 lp2.7/examples/cade9/scr3 rw-r--r-- 429/16 1760 Jun 20 11:05 1988 lp2.7/examples/cade9/tacticals.mod rwxr-xr-x 20/16 0 Jun 24 09:52 1988 lp2.7/examples/meta88/ rw-r--r-- 20/16 1456 Jun 24 09:51 1988 lp2.7/examples/meta88/README rw-r--r-- 20/16 1740 Jun 24 09:51 1988 lp2.7/examples/meta88/camdecl.mod rw-r--r-- 20/16 2773 Jun 24 09:51 1988 lp2.7/examples/meta88/cameval.mod rw-r--r-- 20/16 3531 Jun 24 09:51 1988 lp2.7/examples/meta88/camml.mod rw-r--r-- 20/16 5710 Jun 24 09:51 1988 lp2.7/examples/meta88/camtest.mod rw-r--r-- 20/16 2738 Jun 24 09:51 1988 lp2.7/examples/meta88/cmltest.mod rw-r--r-- 20/16 2438 Jun 24 09:51 1988 lp2.7/examples/meta88/mldecl.mod rw-r--r-- 20/16 2962 Jun 24 09:52 1988 lp2.7/examples/meta88/mleval.mod rw-r--r-- 20/16 1812 Jun 24 09:52 1988 lp2.7/examples/meta88/mltest.mod rw-r--r-- 20/16 2544 Jun 24 09:52 1988 lp2.7/examples/meta88/mltype.mod rwxr-xr-x 429/16 0 Jun 29 16:10 1988 lp2.7/examples/acl86/ rw-r--r-- 429/16 1430 Jun 29 16:10 1988 lp2.7/examples/acl86/README rw-r--r-- 429/16 1819 Jun 29 16:10 1988 lp2.7/examples/acl86/acldcg.mod rw-r--r-- 429/16 1709 Jun 29 16:10 1988 lp2.7/examples/acl86/fol.mod rw-r--r-- 429/16 718 Jun 29 16:10 1988 lp2.7/examples/acl86/kltypes.mod rw-r--r-- 429/16 2092 Jun 29 16:10 1988 lp2.7/examples/acl86/reasoning.mod rw-r--r-- 429/16 238 Jun 29 16:10 1988 lp2.7/examples/acl86/rel.mod rw-r--r-- 429/16 318 Jun 29 16:10 1988 lp2.7/examples/acl86/sents.mod rw-r--r-- 429/16 471 Jun 29 16:10 1988 lp2.7/examples/acl86/simple_world.mod rw-r--r-- 429/16 1882 Jun 29 16:10 1988 lp2.7/examples/acl86/startrek.mod rw-r--r-- 429/16 939 Jun 29 16:10 1988 lp2.7/examples/acl86/subprop.mod rwxr-xr-x 429/16 0 Jul 8 14:16 1988 lp2.7/examples/slp87/ rw-r--r-- 429/16 1689 Jul 7 14:18 1988 lp2.7/examples/slp87/README rw-r--r-- 429/16 2456 Jun 29 16:12 1988 lp2.7/examples/slp87/constants.mod rw-r--r-- 429/16 2317 Jun 29 16:12 1988 lp2.7/examples/slp87/example_pat.mod rw-r--r-- 429/16 1021 Jun 29 16:12 1988 lp2.7/examples/slp87/example_tr.mod rw-r--r-- 429/16 2217 Jun 29 16:12 1988 lp2.7/examples/slp87/pas_interp.mod rw-r--r-- 429/16 2638 Jun 29 16:12 1988 lp2.7/examples/slp87/rem_pattern.mod rw-r--r-- 429/16 1980 Jun 29 16:12 1988 lp2.7/examples/slp87/rem_tailrec.mod rw-r--r-- 429/16 1504 Jun 29 16:12 1988 lp2.7/examples/slp87/solve_pat.mod rwxr-xr-x 429/16 0 Jul 1 13:52 1988 lp2.7/examples/misc/ rw-r--r-- 429/53 1602 Jul 1 13:47 1988 lp2.7/examples/misc/exps.mod rw-r--r-- 429/53 3831 Jul 1 13:51 1988 lp2.7/examples/misc/hilbert.mod rw-r--r-- 429/53 1359 Jul 1 13:50 1988 lp2.7/examples/misc/post.mod rw-r--r-- 429/16 848 Jun 29 16:14 1988 lp2.7/examples/misc/README rw-r--r-- 429/16 305 Jun 29 16:14 1988 lp2.7/examples/misc/classical.mod rw-r--r-- 429/16 1941 Jun 29 16:14 1988 lp2.7/examples/misc/itp.mod rw-r--r-- 429/16 852 Jun 29 16:14 1988 lp2.7/examples/misc/maps.mod rw-r--r-- 429/16 1083 Jul 1 13:46 1988 lp2.7/examples/misc/streams.mod rwxr-xr-x 429/16 0 Jul 1 15:31 1988 lp2.7/examples/typeinf/ rw-r--r-- 429/16 1158 Jul 1 15:30 1988 lp2.7/examples/typeinf/README rw-r--r-- 429/16 805 Jul 1 12:25 1988 lp2.7/examples/typeinf/tp_absurd.mod rw-r--r-- 429/16 3039 Jul 1 12:25 1988 lp2.7/examples/typeinf/tp_ex.mod rw-r--r-- 429/16 2582 Jul 1 12:25 1988 lp2.7/examples/typeinf/tp_ex.rec rw-r--r-- 429/16 635 Jul 1 12:25 1988 lp2.7/examples/typeinf/tp_ml.mod rw-r--r-- 429/16 850 Jul 1 12:25 1988 lp2.7/examples/typeinf/tp_ml_imp.mod rw-r--r-- 429/16 525 Jul 1 12:25 1988 lp2.7/examples/typeinf/tp_poly.mod rw-r--r-- 429/16 501 Jul 1 12:25 1988 lp2.7/examples/typeinf/tp_poly_imp.mod rw-r--r-- 429/16 516 Jul 1 12:25 1988 lp2.7/examples/typeinf/tp_polytypes.mod rw-r--r-- 429/16 804 Jul 1 12:25 1988 lp2.7/examples/typeinf/tp_scon.mod rw-r--r-- 429/16 1543 Jul 1 12:25 1988 lp2.7/examples/typeinf/tp_simple.mod rw-r--r-- 429/16 2047 Jul 1 12:25 1988 lp2.7/examples/typeinf/tp_simple_imp.mod rw-r--r-- 429/16 528 Jul 1 12:25 1988 lp2.7/examples/typeinf/tp_types.mod rwxr-xr-x 429/16 0 Jul 1 15:29 1988 lp2.7/examples/metainterp/ rw-r--r-- 429/16 1143 Jul 1 15:29 1988 lp2.7/examples/metainterp/README rw-r--r-- 429/16 1012 Jul 1 12:26 1988 lp2.7/examples/metainterp/meta.mod rw-r--r-- 429/16 2426 Jul 1 12:26 1988 lp2.7/examples/metainterp/meta.rec rw-r--r-- 429/16 1993 Jul 1 12:26 1988 lp2.7/examples/metainterp/meta_doc.mod rw-r--r-- 429/16 1869 Jul 1 12:26 1988 lp2.7/examples/metainterp/meta_ex.mod rw-r--r-- 429/16 318 Jul 1 12:26 1988 lp2.7/examples/metainterp/meta_types.mod rwxr-xr-x 429/16 0 Jul 7 14:31 1988 lp2.7/sysmods/ rw-r--r-- 429/16 1978 Jul 7 14:31 1988 lp2.7/sysmods/fp_sys.mod rw-r--r-- 429/16 514 Jul 7 14:31 1988 lp2.7/sysmods/lists.mod rw-r--r-- 429/16 2682 Jul 7 14:31 1988 lp2.7/sysmods/lp_sys.mod rw-r--r-- 429/16 342 Jul 7 14:31 1988 lp2.7/sysmods/sys_defs.mod rwxr-xr-x 429/16 0 Jul 7 15:44 1988 lp2.7/doc/ rw-r--r-- 429/16 11669 Jul 7 14:24 1988 lp2.7/doc/duke-trs rw-r--r-- 429/16 8933 Jul 7 15:43 1988 lp2.7/doc/install rw-r--r-- 429/16 5974 Jun 29 15:29 1988 lp2.7/doc/modules rw-r--r-- 429/16 3364 Jun 29 15:29 1988 lp2.7/doc/types rw-r--r-- 429/16 6453 Jun 29 15:30 1988 lp2.7/doc/syntax rw-r--r-- 429/16 1104 Jun 29 15:32 1988 lp2.7/doc/session.mods rw-r--r-- 429/16 1545 Jun 29 15:33 1988 lp2.7/doc/session.uni rw-r--r-- 429/16 1283 Jun 29 15:34 1988 lp2.7/doc/session.maps rw-r--r-- 429/16 26690 Jun 29 15:51 1988 lp2.7/doc/penn-trs rwxr-xr-x 429/16 0 Jul 27 10:04 1988 lp2.7/src/ rw-r--r-- 429/16 593 Jul 6 15:39 1988 lp2.7/src/buildlp.pro rw-r--r-- 429/16 7432 Jul 6 15:39 1988 lp2.7/src/constraints.pro rw-r--r-- 429/16 7404 Jul 6 15:39 1988 lp2.7/src/describe.pro rw-r--r-- 429/16 18520 Jul 6 15:39 1988 lp2.7/src/display.pro rw-r--r-- 429/16 12467 Jul 6 15:39 1988 lp2.7/src/errors.pro rw-r--r-- 429/16 10010 Jul 6 15:39 1988 lp2.7/src/eval.pro rw-r--r-- 429/16 2454 Jul 6 15:39 1988 lp2.7/src/fp.pro rw-r--r-- 429/16 11503 Jul 27 10:04 1988 lp2.7/src/int.pro rw-r--r-- 429/16 4523 Jul 6 15:39 1988 lp2.7/src/library.pro rw-r--r-- 429/16 2958 Jul 6 15:39 1988 lp2.7/src/modules.pro rw-r--r-- 429/16 1012 Jul 6 15:39 1988 lp2.7/src/parameters.pro rw-r--r-- 429/16 34053 Jul 6 15:39 1988 lp2.7/src/parser.pro rw-r--r-- 429/16 7469 Jul 6 15:39 1988 lp2.7/src/scanner.pro rw-r--r-- 429/16 361 Jul 6 15:39 1988 lp2.7/src/sign.pro rw-r--r-- 429/16 11166 Jul 6 15:39 1988 lp2.7/src/specials.pro rw-r--r-- 429/16 21522 Jul 6 15:39 1988 lp2.7/src/terms.pro rw-r--r-- 429/16 12563 Jul 6 15:39 1988 lp2.7/src/unify.pro rwxr-xr-x 429/16 0 Jul 27 10:20 1988 lp2.7/src-quintus/ rw-r--r-- 429/16 788 Jul 6 15:41 1988 lp2.7/src-quintus/buildlp.pl rw-r--r-- 429/16 7425 Jul 6 15:41 1988 lp2.7/src-quintus/constraints.pl rw-r--r-- 429/16 7403 Jul 6 15:41 1988 lp2.7/src-quintus/describe.pl rw-r--r-- 429/16 18541 Jul 6 15:41 1988 lp2.7/src-quintus/display.pl rw-r--r-- 429/16 12468 Jul 6 15:41 1988 lp2.7/src-quintus/errors.pl rw-r--r-- 429/16 10010 Jul 6 15:41 1988 lp2.7/src-quintus/eval.pl rw-r--r-- 429/16 2454 Jul 6 15:41 1988 lp2.7/src-quintus/fp.pl rw-r--r-- 429/16 11502 Jul 27 10:20 1988 lp2.7/src-quintus/int.pl rw-r--r-- 429/16 4571 Jul 6 15:41 1988 lp2.7/src-quintus/library.pl rw-r--r-- 429/16 2971 Jul 6 15:41 1988 lp2.7/src-quintus/modules.pl rw-r--r-- 429/16 1237 Jul 6 15:41 1988 lp2.7/src-quintus/parameters.pl rw-r--r-- 429/16 34122 Jul 6 15:41 1988 lp2.7/src-quintus/parser.pl rw-r--r-- 429/16 7638 Jul 6 15:41 1988 lp2.7/src-quintus/scanner.pl rw-r--r-- 429/16 360 Jul 6 15:42 1988 lp2.7/src-quintus/sign.pl rw-r--r-- 429/16 11244 Jul 6 15:42 1988 lp2.7/src-quintus/specials.pl rw-r--r-- 429/16 21524 Jul 6 15:42 1988 lp2.7/src-quintus/terms.pl rw-r--r-- 429/16 12469 Jul 15 14:12 1988 lp2.7/src-quintus/unify.pl rw-r--r-- 429/16 6794 Jun 29 15:26 1988 lp2.7/README