rwxr-xr-x 1673/92 0 Jun 27 14:24 1992 frapps/ rwxr-xr-x 1673/92 0 Feb 2 19:52 1992 frapps/demos/ rw-r--r-- 1673/92 869 Sep 8 17:09 1991 frapps/demos/alpine.lsp rw-r--r-- 1673/92 524 Sep 8 17:10 1991 frapps/demos/blocks.lsp rw-r--r-- 1673/92 868 Sep 8 17:11 1991 frapps/demos/boys.lsp rw-r--r-- 1673/92 3245 Sep 19 03:57 1991 frapps/demos/breadth.lsp rw-r--r-- 1673/92 247 Sep 4 17:53 1991 frapps/demos/circ1.lsp rw-r--r-- 1673/92 1548 Sep 4 17:13 1991 frapps/demos/circ2.lsp rw-r--r-- 1673/92 1465 Sep 8 02:23 1991 frapps/demos/circuits.lsp rw-r--r-- 1673/92 3959 Oct 12 18:42 1991 frapps/demos/old-demos.lsp rw-r--r-- 1673/92 576 Sep 9 00:06 1991 frapps/demos/family.lsp rw-r--r-- 1673/92 700 Sep 9 00:05 1991 frapps/demos/family2.lsp rw-r--r-- 1673/92 2077 Sep 8 17:12 1991 frapps/demos/lif_bin.lsp rw-r--r-- 1673/92 480 Oct 12 18:36 1991 frapps/demos/my-search.lsp rw-r--r-- 1673/92 1492 Sep 6 10:47 1991 frapps/demos/old-user.lsp rw-r--r-- 1673/92 164 Oct 12 18:35 1991 frapps/demos/h2.lsp rw-r--r-- 1673/92 2916 Sep 11 19:39 1991 frapps/demos/salt.lsp rw-r--r-- 1673/92 763 Oct 12 18:36 1991 frapps/demos/mystery.lsp rw-r--r-- 1673/92 1589 Jan 10 00:28 1991 frapps/demos/shubert.lsp rw-r--r-- 1673/92 1221 Sep 8 01:51 1991 frapps/demos/sq-hard.lsp rw-r--r-- 1673/92 988 Sep 4 17:13 1991 frapps/demos/square.lsp rw-r--r-- 1673/92 3117 Sep 8 02:26 1991 frapps/demos/steam.lsp rw-r--r-- 1673/92 526 Sep 9 00:14 1991 frapps/demos/white-hats.lsp rw-r--r-- 1673/92 343 Oct 12 18:37 1991 frapps/demos/h3.lsp rw-r--r-- 1673/92 402 Oct 18 06:02 1991 frapps/demos/primes.lsp rw-r--r-- 1673/92 2648 Oct 12 18:38 1991 frapps/demos/hw4.lsp rw-r--r-- 1673/92 5203 Oct 12 18:39 1991 frapps/demos/other.lsp rwxr-xr-x 1673/92 0 Jun 26 18:05 1992 frapps/hooked/ rwxr-xr-x 1673/92 0 Feb 2 18:23 1992 frapps/hooked/hdemos/ rw-r--r-- 1673/92 821 Sep 27 01:18 1991 frapps/hooked/hdemos/factor.lsp rw-r--r-- 1673/92 910 Oct 24 04:50 1991 frapps/hooked/hdemos/love.lsp rw-r--r-- 1673/92 1227 Sep 27 01:19 1991 frapps/hooked/hdemos/prob.lsp rw-r--r-- 1673/92 1288 Sep 28 14:15 1991 frapps/hooked/hdemos/shub-sort.lsp rw-r--r-- 1673/92 1620 Sep 27 01:22 1991 frapps/hooked/hdemos/shub2.lsp rw-r--r-- 1673/92 381 Sep 13 03:44 1991 frapps/hooked/hdemos/t2.lsp rw-r--r-- 1673/92 547 Sep 21 16:48 1991 frapps/hooked/hdemos/theory.lsp rw-r--r-- 1673/92 966 Sep 27 01:21 1991 frapps/hooked/hdemos/tweety.lsp rw-r--r-- 1673/92 8810 Jun 26 17:25 1992 frapps/hooked/sort-subsume.lsp rw-r--r-- 1673/92 12414 Jun 26 17:24 1992 frapps/hooked/hinit.lsp rw-r--r-- 1673/92 5226 Jun 27 15:08 1992 frapps/hooked/README rw-r--r-- 1673/92 14300 Jun 26 17:23 1992 frapps/hooked/hdbss.lsp rw-r--r-- 1673/92 13773 Jun 26 17:24 1992 frapps/hooked/hdelstrats.lsp rw-r--r-- 1673/92 9583 Jun 26 17:24 1992 frapps/hooked/hglvads.lsp rw-r--r-- 1673/92 4916 Jun 26 17:24 1992 frapps/hooked/hsld.lsp rw-r--r-- 1673/92 4481 Jun 26 17:25 1992 frapps/hooked/sort-unify.lsp rw-r--r-- 1673/92 9688 Jun 26 17:24 1992 frapps/hooked/hsession.lsp rw-r--r-- 1673/92 11308 Jun 26 17:25 1992 frapps/hooked/sorts.lsp rw-r--r-- 1673/92 16336 Jun 26 17:25 1992 frapps/hooked/hsubsume.lsp rw-r--r-- 1673/92 23071 Jun 26 17:24 1992 frapps/hooked/hinfprims.lsp rw-r--r-- 1673/92 3104 Jun 26 17:15 1992 frapps/extras.lsp rw-r--r-- 1673/92 9427 Jun 26 17:15 1992 frapps/glvads.lsp rw-r--r-- 1673/92 7910 Jun 26 17:13 1992 frapps/costfns.lsp rw-r--r-- 1673/92 6872 Jun 26 17:15 1992 frapps/debug.lsp rw-r--r-- 1673/92 18635 Jun 26 17:16 1992 frapps/infprims.lsp rw-r--r-- 1673/92 9890 Jun 26 17:16 1992 frapps/outputfns.lsp rw-r--r-- 1673/92 4843 Jun 26 17:16 1992 frapps/prover-defs.lsp rw-r--r-- 1673/92 15009 Jun 26 17:16 1992 frapps/prover-funcs.lsp rw-r--r-- 1673/92 8671 Jun 26 17:17 1992 frapps/tpmisc.lsp rw-r--r-- 1673/92 4853 Jun 26 17:17 1992 frapps/prover-strats.lsp rw-r--r-- 1673/92 4224 Jun 26 18:17 1992 frapps/README rw-r--r-- 1673/92 8445 Jun 26 17:18 1992 frapps/user.lsp rw-r--r-- 1673/92 4308 Jun 26 17:17 1992 frapps/sld.lsp rw-r--r-- 1673/92 18069 Jun 26 17:17 1992 frapps/subsume.lsp rw-r--r-- 1673/92 13567 Jun 26 17:15 1992 frapps/delstrats.lsp rw-r--r-- 1673/92 6987 Jun 26 17:17 1992 frapps/run-demo.lsp rw-r--r-- 1673/92 9011 Jun 26 17:13 1992 frapps/init.lsp rw-r--r-- 1673/92 21411 Jun 26 17:14 1992 frapps/dbshared.lsp rw-r--r-- 1673/92 17157 Jun 26 17:17 1992 frapps/prqmgmt.lsp rw-r--r-- 1673/92 402 Oct 20 00:40 1991 frapps/gc-allegro.lsp rw-r--r-- 1673/92 9503 Jun 26 17:17 1992 frapps/session.lsp rw-r--r-- 1673/92 14361 Jun 26 17:18 1992 frapps/unifylits.lsp rw-r--r-- 1673/92 12428 Jun 26 17:14 1992 frapps/dbss.lsp