rw-r--r-- 1101/100 1743 Feb 28 00:09 1992 BUGS rw-r--r-- 1101/100 3430 Sep 8 11:52 1989 README rwxr-xr-x 1101/100 0 Jan 17 10:20 1990 hiper/ rwxr-xr-x 1101/100 0 May 2 18:53 1989 hiper/examples/ rw-r--r-- 1101/100 364 May 2 18:53 1989 hiper/examples/ack.comp rw-r--r-- 1101/100 446 May 2 18:53 1989 hiper/examples/bgroup3.comp rw-r--r-- 1101/100 370 May 2 18:53 1989 hiper/examples/bgroup4.comp rw-r--r-- 1101/100 1441 May 2 18:53 1989 hiper/examples/comm.comp rw-r--r-- 1101/100 237 May 2 18:53 1989 hiper/examples/crs.comp rw-r--r-- 1101/100 621 May 2 18:53 1989 hiper/examples/ct.comp rw-r--r-- 1101/100 357 May 2 18:53 1989 hiper/examples/grau.comp rw-r--r-- 1101/100 459 May 2 18:53 1989 hiper/examples/group1.comp rw-r--r-- 1101/100 448 May 2 18:53 1989 hiper/examples/group1a.comp rw-r--r-- 1101/100 111 May 2 18:53 1989 hiper/examples/group1b.comp rw-r--r-- 1101/100 426 May 2 18:53 1989 hiper/examples/group2a.comp rw-r--r-- 1101/100 503 May 2 18:53 1989 hiper/examples/group3a.comp rw-r--r-- 1101/100 596 May 2 18:53 1989 hiper/examples/if.comp rw-r--r-- 1101/100 300 May 2 18:53 1989 hiper/examples/kb1.comp rw-r--r-- 1101/100 583 May 2 18:53 1989 hiper/examples/kb14a2.comp rw-r--r-- 1101/100 1059 May 2 18:53 1989 hiper/examples/kb14a6.comp rw-r--r-- 1101/100 109 May 2 18:53 1989 hiper/examples/lesc.comp rw-r--r-- 1101/100 255 May 2 18:53 1989 hiper/examples/ngroup2.comp rw-r--r-- 1101/100 228 May 2 18:53 1989 hiper/examples/p1.comp rw-r--r-- 1101/100 250 May 2 18:53 1989 hiper/examples/permute.comp rw-r--r-- 1101/100 914 May 2 18:53 1989 hiper/examples/ring.comp rw-r--r-- 1101/100 869 May 2 18:53 1989 hiper/examples/ring3.comp rw-r--r-- 1101/100 211 May 2 18:53 1989 hiper/examples/taussky.comp rw-r--r-- 1101/100 1619 May 2 18:53 1989 hiper/examples/tg.comp rw-r--r-- 1101/100 500 May 2 18:53 1989 hiper/examples/tknot1.comp rw-r--r-- 1101/100 271 May 2 18:53 1989 hiper/examples/tknot2.comp rw-r--r-- 1101/100 8345 May 28 14:41 1989 hiper/permuters.lsp rw-r--r-- 1101/100 2558 Feb 28 00:09 1992 hiper/init.lsp rw-r--r-- 1101/100 5193 May 2 18:51 1989 hiper/arrays.lsp rw-r--r-- 1101/100 7158 May 2 18:51 1989 hiper/autorpo.lsp rw-r--r-- 1101/100 6115 May 2 18:51 1989 hiper/copy.lsp rw-r--r-- 1101/100 2785 May 2 18:51 1989 hiper/defs.lsp rw-r--r-- 1101/100 12877 May 2 18:51 1989 hiper/enodes.lsp rw-r--r-- 1101/100 3455 May 2 18:51 1989 hiper/equal.lsp rw-r--r-- 1101/100 7897 Feb 28 00:08 1992 hiper/eunify.lsp rw-r--r-- 1101/100 9783 May 2 18:51 1989 hiper/flatterms.lsp rw-r--r-- 1101/100 7310 May 2 18:51 1989 hiper/globals.lsp rw-r--r-- 1101/100 8999 May 2 18:51 1989 hiper/heap.lsp rw-r--r-- 1101/100 2488 May 4 16:52 1989 hiper/read.lsp rw-r--r-- 1101/100 8722 May 2 18:51 1989 hiper/kb.lsp rw-r--r-- 1101/100 5009 May 2 18:51 1989 hiper/kbrpo.lsp rw-r--r-- 1101/100 2580 May 2 18:52 1989 hiper/match.lsp rw-r--r-- 1101/100 10437 May 2 18:52 1989 hiper/newf.lsp rw-r--r-- 1101/100 17801 May 2 18:52 1989 hiper/nodes.lsp rw-r--r-- 1101/100 2244 May 2 18:52 1989 hiper/nofail.lsp rw-r--r-- 1101/100 1397 May 2 18:52 1989 hiper/orient.lsp rw-r--r-- 1101/100 4687 May 2 18:52 1989 hiper/pairs.lsp rw-r--r-- 1101/100 1694 May 2 18:52 1989 hiper/parse.lsp rw-r--r-- 1101/100 1667 May 2 18:52 1989 hiper/rebuild.lsp rw-r--r-- 1101/100 3927 May 2 18:52 1989 hiper/reduce.lsp rw-r--r-- 1101/100 4471 May 2 18:52 1989 hiper/rpo.lsp rw-r--r-- 1101/100 39996 May 2 18:52 1989 hiper/sloop.lsp rw-r--r-- 1101/100 7273 May 2 18:52 1989 hiper/stacks.lsp rw-r--r-- 1101/100 4333 May 2 18:52 1989 hiper/symbols.lsp rw-r--r-- 1101/100 2448 May 2 18:52 1989 hiper/unify.lsp rw-r--r-- 1101/100 26298 Mar 1 21:42 1992 hiper/MANUAL.tex rw-r--r-- 1101/100 41485 May 2 18:52 1989 hiper/RTA-Paper.tex rw-r--r-- 1101/100 5059 May 4 14:13 1989 hiper/misc.lsp rw-r--r-- 1101/100 8338 May 6 11:08 1989 hiper/main.lsp rw-r--r-- 1101/100 2473 May 4 14:16 1989 hiper/init.lsp~ rw-r--r-- 1101/100 8775 May 4 14:17 1989 hiper/print.lsp rw-r--r-- 1101/100 8014 May 6 11:08 1989 hiper/queues.lsp