rwxrwxrwx 41/10 0 Jul 30 09:00 1993 pail/ rw-r--r-- 41/10 589 Jul 30 08:49 1993 pail/.EMACS rwxr-xr-x 41/10 2122 Jul 30 08:56 1993 pail/README rw-r--r-- 41/10 1227 Jul 30 08:56 1993 pail/Read-Me-First rwxrwxrwx 41/10 0 Jul 30 08:58 1993 pail/atn/ rw-r--r-- 41/10 8942 Jul 30 08:49 1993 pail/atn/atn-demo.cl rw-r--r-- 41/10 5822 Jul 30 08:49 1993 pail/atn/atn-demo1.cl rw-r--r-- 41/10 5469 Jul 30 08:49 1993 pail/atn/atn-demo2.cl rw-r--r-- 41/10 4982 Jul 30 08:49 1993 pail/atn/atn-dialog.cl rw-r--r-- 41/10 1649 Jul 30 08:49 1993 pail/atn/atn-make.cl rw-r--r-- 41/10 10448 Jul 30 08:49 1993 pail/atn/atn.graph.cl rw-r--r-- 41/10 3869 Jul 30 08:49 1993 pail/atn/atn.lex.cl rw-r--r-- 41/10 21817 Jul 30 08:49 1993 pail/atn/atn.main.cl rw-r--r-- 41/10 26025 Jul 30 08:49 1993 pail/atn/atn.ui.cl rw-r--r-- 41/10 522 Jul 30 08:49 1993 pail/atn/atn-demo-desc.asc rw-r--r-- 41/10 532 Jul 30 08:49 1993 pail/atn/atn-demo1-desc.asc rw-r--r-- 41/10 600 Jul 30 08:49 1993 pail/atn/atn-demo2-desc.asc rw-r--r-- 41/10 1112 Jul 30 08:49 1993 pail/atn/atn-demo3-desc.asc rw-r--r-- 41/10 311 Jul 30 08:49 1993 pail/atn/atn-desc-tec.asc rw-r--r-- 41/10 2908 Jul 30 08:49 1993 pail/atn/atn-desc.asc rw-r--r-- 41/10 9747 Jul 30 08:49 1993 pail/atn/atn-tool-desc.asc rw-r--r-- 41/10 2404 Jul 30 08:49 1993 pail/atn/atn-tool-tec.asc rwxrwxrwx 41/10 0 Jul 30 08:49 1993 pail/atn/lexicae/ rw-r--r-- 41/10 879 Jul 30 08:49 1993 pail/atn/lexicae/lex-0 rw-r--r-- 41/10 922 Jul 30 08:49 1993 pail/atn/lexicae/lex-1 rw-r--r-- 41/10 2491 Jul 30 08:49 1993 pail/atn/lexicae/lex-2 rw-r--r-- 41/10 1538 Jul 30 08:49 1993 pail/atn/lexicae/lex-3 rw-r--r-- 41/10 980 Jul 30 08:49 1993 pail/atn/lexicae/lex-number rw-r--r-- 41/10 5486 Jul 30 08:49 1993 pail/atn/atn-demo3.cl rw-r--r-- 41/10 15318 Jul 30 08:49 1993 pail/atn/lexicon-tool.cl rwxrwxrwx 41/10 0 Jul 30 08:49 1993 pail/atn/networks/ rw-r--r-- 41/10 938 Jul 30 08:49 1993 pail/atn/networks/net-0 rw-r--r-- 41/10 1095 Jul 30 08:49 1993 pail/atn/networks/net-1 rw-r--r-- 41/10 1438 Jul 30 08:49 1993 pail/atn/networks/net-2 rw-r--r-- 41/10 1117 Jul 30 08:49 1993 pail/atn/networks/net-3 rw-r--r-- 41/10 1568 Jul 30 08:49 1993 pail/atn/networks/net-4 rw-r--r-- 41/10 4494 Jul 30 08:49 1993 pail/atn/networks/net-5 rw-r--r-- 41/10 6336 Jul 30 08:49 1993 pail/atn/networks/net-6 rw-r--r-- 41/10 1149 Jul 30 08:49 1993 pail/atn/networks/net-number rwxrwxrwx 41/10 0 Jul 30 08:58 1993 pail/atp/ rw-r--r-- 41/10 2212 Jul 30 08:49 1993 pail/atp/atp-browser.cl rw-r--r-- 41/10 8550 Jul 30 08:49 1993 pail/atp/folpars.cl rw-r--r-- 41/10 586 Jul 30 08:49 1993 pail/atp/atp-demo-desc.asc rw-r--r-- 41/10 10528 Jul 30 08:49 1993 pail/atp/atp-demo.cl rwxr-xr-x 41/10 7668 Jul 30 08:49 1993 pail/atp/atp-demo1.cl rw-r--r-- 41/10 1803 Jul 30 08:49 1993 pail/atp/atp-demo1.th rwxr-xr-x 41/10 5901 Jul 30 08:49 1993 pail/atp/atp-demo2.cl rw-r--r-- 41/10 8296 Jul 30 08:49 1993 pail/atp/outputs2.cl rw-r--r-- 41/10 1263 Jul 30 08:49 1993 pail/atp/atp-demo2.th rw-r--r-- 41/10 8270 Jul 30 08:49 1993 pail/atp/atp-demo3.cl rw-r--r-- 41/10 1437 Jul 30 08:49 1993 pail/atp/atp-demo3.th rw-r--r-- 41/10 5360 Jul 30 08:49 1993 pail/atp/atp-demo4.cl rw-r--r-- 41/10 1644 Jul 30 08:49 1993 pail/atp/atp-demo4.th rw-r--r-- 41/10 4452 Jul 30 08:49 1993 pail/atp/atp-demo5.cl rw-r--r-- 41/10 2674 Jul 30 08:49 1993 pail/atp/atp-demo5.th rwxr-xr-x 41/10 8765 Jul 30 08:49 1993 pail/atp/atp-demo6.cl rw-r--r-- 41/10 1412 Jul 30 08:49 1993 pail/atp/atp-demo6.th rw-r--r-- 41/10 6346 Jul 30 08:49 1993 pail/atp/atp-dialog.cl rwxr-xr-x 41/10 2938 Jul 30 08:49 1993 pail/atp/atp-gin.cl rw-r--r-- 41/10 1806 Jul 30 08:49 1993 pail/atp/atp-loader-desc.asc rw-r--r-- 41/10 3862 Jul 30 08:49 1993 pail/atp/norm.cl rw-r--r-- 41/10 2959 Jul 30 08:49 1993 pail/atp/atp-make.cl rw-r--r-- 41/10 6396 Jul 30 08:49 1993 pail/atp/atp-param-desc.asc rw-r--r-- 41/10 6276 Jul 30 08:49 1993 pail/atp/atp-tool-desc.asc rw-r--r-- 41/10 395 Jul 30 08:49 1993 pail/atp/atp-tree-desc.asc rw-r--r-- 41/10 11604 Jul 30 08:49 1993 pail/atp/choose.cl rw-r--r-- 41/10 3165 Jul 30 08:49 1993 pail/atp/class.cl rw-r--r-- 41/10 563 Jul 30 08:49 1993 pail/atp/demos.cl rw-r--r-- 41/10 4688 Jul 30 08:49 1993 pail/atp/en_strat.cl rw-r--r-- 41/10 6470 Jul 30 08:49 1993 pail/atp/eval2.cl rwxrwxrwx 41/10 0 Jul 30 08:49 1993 pail/atp/theorems/ rw-r--r-- 41/10 3599 Jul 30 08:49 1993 pail/atp/exist.cl rw-r--r-- 41/10 33293 Jul 30 08:49 1993 pail/atp/len-interface.cl rw-r--r-- 41/10 5984 Jul 30 08:49 1993 pail/atp/folscan.cl rw-r--r-- 41/10 9646 Jul 30 08:49 1993 pail/atp/len-filemgr.cl rw-r--r-- 41/10 14785 Jul 30 08:49 1993 pail/atp/semp.cl rw-r--r-- 41/10 19325 Jul 30 08:49 1993 pail/atp/infer.cl rwxr-xr-x 41/10 7076 Jul 30 08:49 1993 pail/atp/input.cl rwxr-xr-x 41/10 4752 Jul 30 08:49 1993 pail/atp/tree-dvi.cl rw-r--r-- 41/10 4730 Jul 30 08:49 1993 pail/atp/len-adt.cl rw-r--r-- 41/10 8563 Jul 30 08:49 1993 pail/atp/skolem.cl rw-r--r-- 41/10 2799 Jul 30 08:49 1993 pail/atp/atp-desc-gen.asc rw-r--r-- 41/10 5463 Jul 30 08:49 1993 pail/atp/library.cl rw-r--r-- 41/10 47049 Jul 30 08:49 1993 pail/atp/coded rw-r--r-- 41/10 50113 Jul 30 08:49 1993 pail/atp/coded1 rw-r--r-- 41/10 330 Jul 30 08:49 1993 pail/atp/atp-desc-tec.asc rw-r--r-- 41/10 3044 Jul 30 08:49 1993 pail/atp/prolog.cl rw-r--r-- 41/10 8569 Jul 30 08:49 1993 pail/atp/match.cl rw-r--r-- 41/10 106 Jul 30 08:49 1993 pail/atp/change.cl rw-r--r-- 41/10 890 Jul 30 08:49 1993 pail/atp/mygensym.cl rw-r--r-- 41/10 4761 Jul 30 08:49 1993 pail/atp/renvar.cl rw-r--r-- 41/10 5231 Jul 30 08:49 1993 pail/atp/order.cl rw-r--r-- 41/10 6847 Jul 30 08:49 1993 pail/atp/update_new.cl rw-r--r-- 41/10 9404 Jul 30 08:49 1993 pail/atp/preproc.cl rwxr-xr-x 41/10 4985 Jul 30 08:49 1993 pail/atp/my-ebg.cl rw-r--r-- 41/10 4180 Jul 30 08:49 1993 pail/atp/prolpars.cl rw-r--r-- 41/10 50156 Jul 30 08:49 1993 pail/atp/coded2 rw-r--r-- 41/10 47049 Jul 30 08:49 1993 pail/atp/coded3 rw-r--r-- 41/10 12474 Jul 30 08:49 1993 pail/atp/semp_new.cl rw-r--r-- 41/10 3518 Jul 30 08:49 1993 pail/atp/weigths.cl rw-r--r-- 41/10 4237 Jul 30 08:49 1993 pail/atp/traduttori.cl rw-r--r-- 41/10 228 Jul 30 08:49 1993 pail/atp/atp-demo1-desc.asc rwxrwxrwx 41/10 0 Jul 30 08:49 1993 pail/atp/tutorial/ rw-r--r-- 41/10 931 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-16.th rw-r--r-- 41/10 491 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-22.th rw-r--r-- 41/10 845 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-07.th rw-r--r-- 41/10 1006 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-08.th rw-r--r-- 41/10 878 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-09.th rw-r--r-- 41/10 321 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-05.th rw-r--r-- 41/10 390 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-06.th rw-r--r-- 41/10 554 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-10.th rw-r--r-- 41/10 2142 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-11.th rw-r--r-- 41/10 814 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-12.th rw-r--r-- 41/10 774 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-13.th rw-r--r-- 41/10 2321 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-36.th rw-r--r-- 41/10 766 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-14.th rw-r--r-- 41/10 1018 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-15.th rw-r--r-- 41/10 661 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-17.th rw-r--r-- 41/10 571 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-18.th rw-r--r-- 41/10 949 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-19.th rw-r--r-- 41/10 901 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-21.th rw-r--r-- 41/10 1222 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-23.th rw-r--r-- 41/10 977 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-24.th rw-r--r-- 41/10 1996 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-26.th rw-r--r-- 41/10 504 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-27.th rw-r--r-- 41/10 656 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-28.th rw-r--r-- 41/10 2663 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-29.th rw-r--r-- 41/10 1188 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-30.th rw-r--r-- 41/10 1095 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-31.th rw-r--r-- 41/10 701 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-32.th rw-r--r-- 41/10 576 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-33.th rw-r--r-- 41/10 546 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-34.th rw-r--r-- 41/10 1264 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-35.th rw-r--r-- 41/10 873 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-37.th rw-r--r-- 41/10 1075 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-39.th rw-r--r-- 41/10 705 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-01.th rw-r--r-- 41/10 509 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-02.th rw-r--r-- 41/10 831 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-03.th rw-r--r-- 41/10 506 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-04.th rw-r--r-- 41/10 421 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-38.th rw-r--r-- 41/10 369 Jul 30 08:49 1993 pail/atp/tutorial/Tutor-25.th rw-r--r-- 41/10 163 Jul 30 08:49 1993 pail/atp/atp-demo2-desc.asc rw-r--r-- 41/10 430 Jul 30 08:49 1993 pail/atp/atp-demo3-desc.asc rwxrwxrwx 41/10 0 Jul 30 08:49 1993 pail/atp/examples/ rwxr-xr-x 41/10 1029 Jul 30 08:49 1993 pail/atp/examples/Logics.th rwxr-xr-x 41/10 1855 Jul 30 08:49 1993 pail/atp/examples/Cook4.th rwxr-xr-x 41/10 156 Jul 30 08:49 1993 pail/atp/examples/Untitled.th rwxr-xr-x 41/10 2816 Jul 30 08:49 1993 pail/atp/examples/Colours.th rwxr-xr-x 41/10 2942 Jul 30 08:49 1993 pail/atp/examples/DCG3.th rwxr-xr-x 41/10 1256 Jul 30 08:49 1993 pail/atp/examples/Math01.th rwxr-xr-x 41/10 1941 Jul 30 08:49 1993 pail/atp/examples/Div6.th rwxr-xr-x 41/10 1944 Jul 30 08:49 1993 pail/atp/examples/Equation.th rwxr-xr-x 41/10 1379 Jul 30 08:49 1993 pail/atp/examples/Relations.th rwxr-xr-x 41/10 2453 Jul 30 08:49 1993 pail/atp/examples/Induction1.th rwxr-xr-x 41/10 1326 Jul 30 08:49 1993 pail/atp/examples/Math02.th rwxr-xr-x 41/10 2773 Jul 30 08:49 1993 pail/atp/examples/Induction2.th rwxr-xr-x 41/10 2079 Jul 30 08:49 1993 pail/atp/examples/Truth_Liars.th rwxr-xr-x 41/10 3396 Jul 30 08:49 1993 pail/atp/examples/Lion.th rwxr-xr-x 41/10 1737 Jul 30 08:49 1993 pail/atp/examples/XOR.th rwxr-xr-x 41/10 4159 Jul 30 08:49 1993 pail/atp/examples/Waterpot.th rwxr-xr-x 41/10 5159 Jul 30 08:49 1993 pail/atp/examples/Wisest.th rwxr-xr-x 41/10 1324 Jul 30 08:49 1993 pail/atp/examples/Math03.th rwxr-xr-x 41/10 2811 Jul 30 08:49 1993 pail/atp/examples/RevRev.th rwxr-xr-x 41/10 1223 Jul 30 08:49 1993 pail/atp/examples/Math04.th rwxr-xr-x 41/10 1142 Jul 30 08:49 1993 pail/atp/examples/Math05.th rwxr-xr-x 41/10 1523 Jul 30 08:49 1993 pail/atp/examples/Safe-to-Stack.th rwxr-xr-x 41/10 2172 Jul 30 08:49 1993 pail/atp/examples/DCG.th rwxr-xr-x 41/10 1347 Jul 30 08:49 1993 pail/atp/examples/Math06.th rwxr-xr-x 41/10 1332 Jul 30 08:49 1993 pail/atp/examples/Math07.th rwxr-xr-x 41/10 1316 Jul 30 08:49 1993 pail/atp/examples/Math08.th rwxr-xr-x 41/10 1243 Jul 30 08:49 1993 pail/atp/examples/Math09.th rwxr-xr-x 41/10 3719 Jul 30 08:49 1993 pail/atp/examples/Mission.th rwxr-xr-x 41/10 5286 Jul 30 08:49 1993 pail/atp/examples/Analogy.th rwxr-xr-x 41/10 2252 Jul 30 08:49 1993 pail/atp/examples/Travel.th rwxr-xr-x 41/10 1967 Jul 30 08:49 1993 pail/atp/examples/Maze.th rwxr-xr-x 41/10 2908 Jul 30 08:49 1993 pail/atp/examples/Blockworld.th rwxr-xr-x 41/10 2150 Jul 30 08:49 1993 pail/atp/examples/DCG1.th rwxr-xr-x 41/10 4009 Jul 30 08:49 1993 pail/atp/examples/Shubert.th rwxr-xr-x 41/10 1680 Jul 30 08:49 1993 pail/atp/examples/Primes.th rwxr-xr-x 41/10 2139 Jul 30 08:49 1993 pail/atp/examples/DCG2.th rwxr-xr-x 41/10 2552 Jul 30 08:49 1993 pail/atp/examples/DCG4.th rwxr-xr-x 41/10 2179 Jul 30 08:49 1993 pail/atp/examples/Knuth-Bendix-1.th rwxr-xr-x 41/10 2025 Jul 30 08:49 1993 pail/atp/examples/Knuth-Bendix.th rwxr-xr-x 41/10 2080 Jul 30 08:49 1993 pail/atp/examples/GramRew.th rwxr-xr-x 41/10 3859 Jul 30 08:49 1993 pail/atp/examples/Murder.th rwxr-xr-x 41/10 1506 Jul 30 08:49 1993 pail/atp/examples/System.th rwxr-xr-x 41/10 1537 Jul 30 08:49 1993 pail/atp/examples/Math24.th rwxr-xr-x 41/10 1118 Jul 30 08:49 1993 pail/atp/examples/Math10.th rwxr-xr-x 41/10 1469 Jul 30 08:49 1993 pail/atp/examples/Math16.th rwxr-xr-x 41/10 1393 Jul 30 08:49 1993 pail/atp/examples/Math11.th rwxr-xr-x 41/10 1352 Jul 30 08:49 1993 pail/atp/examples/Math12.th rwxr-xr-x 41/10 1184 Jul 30 08:49 1993 pail/atp/examples/Math13.th rwxr-xr-x 41/10 1202 Jul 30 08:49 1993 pail/atp/examples/Math14.th rwxr-xr-x 41/10 1453 Jul 30 08:49 1993 pail/atp/examples/Math15.th rwxr-xr-x 41/10 1528 Jul 30 08:49 1993 pail/atp/examples/Math17.th rwxr-xr-x 41/10 1216 Jul 30 08:49 1993 pail/atp/examples/Math18.th rwxr-xr-x 41/10 1387 Jul 30 08:49 1993 pail/atp/examples/Math19.th rwxr-xr-x 41/10 1466 Jul 30 08:49 1993 pail/atp/examples/Math20.th rwxr-xr-x 41/10 1308 Jul 30 08:49 1993 pail/atp/examples/Math21.th rwxr-xr-x 41/10 1221 Jul 30 08:49 1993 pail/atp/examples/Math22.th rwxr-xr-x 41/10 1327 Jul 30 08:49 1993 pail/atp/examples/Math25.th rwxr-xr-x 41/10 1292 Jul 30 08:49 1993 pail/atp/examples/Math23.th rw-r--r-- 41/10 446 Jul 30 08:49 1993 pail/atp/examples/zATNOUT.th rwxr-xr-x 41/10 2290 Jul 30 08:49 1993 pail/atp/examples/Agatha.th rwxr-xr-x 41/10 347 Jul 30 08:49 1993 pail/atp/examples/AtnOut.th rwxr-xr-x 41/10 2954 Jul 30 08:49 1993 pail/atp/examples/The_Adder.th rwxr-xr-x 41/10 147 Jul 30 08:49 1993 pail/atp/examples/Change1 rwxr-xr-x 41/10 147 Jul 30 08:49 1993 pail/atp/examples/Change2 rw-r--r-- 41/10 335872 Jul 30 08:49 1993 pail/atp/atp.tar rw-r--r-- 41/10 481 Jul 30 08:49 1993 pail/atp/atp-demo4-desc.asc rw-r--r-- 41/10 455 Jul 30 08:49 1993 pail/atp/atp-demo5-desc.asc rw-r--r-- 41/10 329 Jul 30 08:49 1993 pail/atp/atp-demo6-desc.asc rw-r--r-- 41/10 75 Jul 30 08:49 1993 pail/atp/atp-loader-gen.asc rw-r--r-- 41/10 52 Jul 30 08:49 1993 pail/atp/atp-tree-gen.asc rw-r--r-- 41/10 6318 Jul 30 08:49 1993 pail/atp/atp-tables rw-r--r-- 41/10 230 Jul 30 08:49 1993 pail/atp/atp-param-tec.asc rw-r--r-- 41/10 4292 Jul 30 08:49 1993 pail/atp/atp-tool-tec.asc rwxrwxrwx 41/10 0 Jul 30 08:58 1993 pail/backward-rules/ rw-r--r-- 41/10 26039 Jul 30 08:49 1993 pail/backward-rules/backward-rules-dialog.cl rw-r--r-- 41/10 3771 Jul 30 08:49 1993 pail/backward-rules/backward-rules-make.cl rw-r--r-- 41/10 2950 Jul 30 08:49 1993 pail/backward-rules/backward-rules-init.cl rw-r--r-- 41/10 0 Jul 30 08:49 1993 pail/backward-rules/backward-rules-ex1.cl rwxrwxrwx 41/10 0 Jul 30 08:50 1993 pail/bib/ rwxr-xr-x 41/10 9127 Jul 30 08:50 1993 pail/bib/LOGIC.bib rw-r--r-- 41/10 23077 Jul 30 08:50 1993 pail/bib/pail.bib rwxrwxrwx 41/10 0 Jul 30 08:50 1993 pail/bitmaps/ rw-r--r-- 41/10 251 Jul 30 08:50 1993 pail/bitmaps/down rw-r--r-- 41/10 1388 Jul 30 08:50 1993 pail/bitmaps/pail-icon rw-r--r-- 41/10 1448 Jul 30 08:50 1993 pail/bitmaps/pail-logo rw-r--r-- 41/10 245 Jul 30 08:50 1993 pail/bitmaps/up rw-r--r-- 41/10 1340 Jul 30 08:50 1993 pail/bitmaps/gc-cursor rw-r--r-- 41/10 2666 Jul 30 08:50 1993 pail/bitmaps/pail-logo.zh rw-r--r-- 41/10 1355 Jul 30 08:50 1993 pail/bitmaps/gc-cursor-mask rw-r--r-- 41/10 1331 Jul 30 08:50 1993 pail/bitmaps/madona rw-r--r-- 41/10 1451 Jul 30 08:50 1993 pail/bitmaps/idsia-logo rwxrwxrwx 41/10 0 Jul 30 08:58 1993 pail/cky/ rw-r--r-- 41/10 1545 Jul 30 08:50 1993 pail/cky/cky-make.cl rw-r--r-- 41/10 17360 Jul 30 08:50 1993 pail/cky/ckyParser.cl rw-r--r-- 41/10 2065 Jul 30 08:50 1993 pail/cky/cky-chart.cl rw-r--r-- 41/10 25193 Jul 30 08:50 1993 pail/cky/cky-parser-tool.cl rw-r--r-- 41/10 8931 Jul 30 08:50 1993 pail/cky/cky-demo.cl rw-r--r-- 41/10 259 Jul 30 08:50 1993 pail/cky/cky-desc-tec.asc rw-r--r-- 41/10 893 Jul 30 08:50 1993 pail/cky/cky-help2.tec rw-r--r-- 41/10 737 Jul 30 08:50 1993 pail/cky/cky-help1.tec rw-r--r-- 41/10 83 Jul 30 08:50 1993 pail/cky/cky-help2.gen rw-r--r-- 41/10 346 Jul 30 08:50 1993 pail/cky/choose-help.tec rw-r--r-- 41/10 81 Jul 30 08:50 1993 pail/cky/grammar-help.gen rw-r--r-- 41/10 2590 Jul 30 08:50 1993 pail/cky/cky-utils.cl rw-r--r-- 41/10 13122 Jul 30 08:50 1993 pail/cky/lexicon-tool.cl rw-r--r-- 41/10 17842 Jul 30 08:50 1993 pail/cky/grammar-tool.cl rw-r--r-- 41/10 81 Jul 30 08:50 1993 pail/cky/lexicon-help.gen rw-r--r-- 41/10 6002 Jul 30 08:50 1993 pail/cky/cky-demo-1.cl rw-r--r-- 41/10 1027 Jul 30 08:50 1993 pail/cky/grammar-help.tec rw-r--r-- 41/10 2860 Jul 30 08:50 1993 pail/cky/cky-desc.asc rw-r--r-- 41/10 764 Jul 30 08:50 1993 pail/cky/syntax.asc rw-r--r-- 41/10 6002 Jul 30 08:50 1993 pail/cky/cky-demo1.cl rw-r--r-- 41/10 5280 Jul 30 08:50 1993 pail/cky/cky-dialog.cl rw-r--r-- 41/10 952 Jul 30 08:50 1993 pail/cky/lexicon-help.tec rw-r--r-- 41/10 3261 Jul 30 08:50 1993 pail/cky/cky-help1.gen rw-r--r-- 41/10 9978 Jul 30 08:50 1993 pail/cky/ckyAlg.gen rw-r--r-- 41/10 3819 Jul 30 08:50 1993 pail/cky/ckydotAlg.gen rw-r--r-- 41/10 6128 Jul 30 08:50 1993 pail/cky/ckyreAlg.gen rwxrwxrwx 41/10 0 Jul 30 08:50 1993 pail/cky/grammar/ rw-r--r-- 41/10 867 Jul 30 08:50 1993 pail/cky/grammar/g0.cgr rw-r--r-- 41/10 1024 Jul 30 08:50 1993 pail/cky/grammar/g1.cgr rw-r--r-- 41/10 1042 Jul 30 08:50 1993 pail/cky/grammar/g3.cgr rw-r--r-- 41/10 758 Jul 30 08:50 1993 pail/cky/grammar/g4.cgr rw-r--r-- 41/10 967 Jul 30 08:50 1993 pail/cky/grammar/gramdot.cgr rw-r--r-- 41/10 908 Jul 30 08:50 1993 pail/cky/grammar/number-grammar.cgr rwxrwxrwx 41/10 0 Jul 30 08:50 1993 pail/cky/lexicon/ rw-r--r-- 41/10 54 Jul 30 08:50 1993 pail/cky/lexicon/l0.lex rw-r--r-- 41/10 459 Jul 30 08:50 1993 pail/cky/lexicon/l1.lex rw-r--r-- 41/10 427 Jul 30 08:50 1993 pail/cky/lexicon/la1.lex rw-r--r-- 41/10 362 Jul 30 08:50 1993 pail/cky/lexicon/lexdot.lex rw-r--r-- 41/10 274 Jul 30 08:50 1993 pail/cky/lexicon/number-lexicon.lex rw-r--r-- 41/10 31 Jul 30 08:50 1993 pail/cky/lexicon/my-lex.lex rw-r--r-- 41/10 69 Jul 30 08:50 1993 pail/cky/lexicon/prova rw-r--r-- 41/10 6899 Jul 30 08:50 1993 pail/cky/cky-demo2.cl rw-r--r-- 41/10 69 Jul 30 08:50 1993 pail/cky/NIL rwxr--r-- 41/10 572 Jul 30 08:50 1993 pail/config rwxrwxrwx 41/10 0 Jul 30 08:58 1993 pail/csp/ rw-r--r-- 41/10 1733 Jul 30 08:50 1993 pail/csp/csp-make.cl rw-r--r-- 41/10 6762 Jul 30 08:50 1993 pail/csp/csp-dialog.cl rw-r--r-- 41/10 860 Jul 30 08:50 1993 pail/csp/8queens.csp rw-r--r-- 41/10 2498 Jul 30 08:50 1993 pail/csp/Template.csp rw-r--r-- 41/10 1664 Jul 30 08:50 1993 pail/csp/color.csp rw-r--r-- 41/10 659 Jul 30 08:50 1993 pail/csp/crossw.cl rw-r--r-- 41/10 7849 Jul 30 08:50 1993 pail/csp/csp-demo1.cl rw-r--r-- 41/10 2679 Jul 30 08:50 1993 pail/csp/crossw1.csp rw-r--r-- 41/10 14093 Jul 30 08:50 1993 pail/csp/csp1.cl rw-r--r-- 41/10 2391 Jul 30 08:50 1993 pail/csp/csp-utils.cl rw-r--r-- 41/10 3088 Jul 30 08:50 1993 pail/csp/crossw2.csp rw-r--r-- 41/10 5456 Jul 30 08:50 1993 pail/csp/crossw3.csp rw-r--r-- 41/10 3504 Jul 30 08:50 1993 pail/csp/csp-adt.cl rw-r--r-- 41/10 3594 Jul 30 08:50 1993 pail/csp/draw-net.cl rw-r--r-- 41/10 513 Jul 30 08:50 1993 pail/csp/School.csp rw-r--r-- 41/10 217 Jul 30 08:50 1993 pail/csp/bug.csp rw-r--r-- 41/10 5786 Jul 30 08:50 1993 pail/csp/cw.cl rw-r--r-- 41/10 14357 Jul 30 08:50 1993 pail/csp/csp-interface.cl rw-r--r-- 41/10 487 Jul 30 08:50 1993 pail/csp/cw5.cl rw-r--r-- 41/10 1914 Jul 30 08:50 1993 pail/csp/demo1 rw-r--r-- 41/10 2253 Jul 30 08:50 1993 pail/csp/cwgraph.cl rw-r--r-- 41/10 256998 Jul 30 08:50 1993 pail/csp/dict.cl rw-r--r-- 41/10 5056 Jul 30 08:50 1993 pail/csp/draw_puzzle.cl rw-r--r-- 41/10 2992 Jul 30 08:50 1993 pail/csp/csp-desc.asc rw-r--r-- 41/10 7881 Jul 30 08:50 1993 pail/csp/timetable.cl rw-r--r-- 41/10 310 Jul 30 08:50 1993 pail/csp/csp-desc-tec.asc rw-r--r-- 41/10 5824 Jul 30 08:50 1993 pail/csp/csp-tool-gen.asc rw-r--r-- 41/10 9903 Jul 30 08:50 1993 pail/csp/csp-demo.cl rw-r--r-- 41/10 5376 Jul 30 08:50 1993 pail/csp/puzzle.cl rw-r--r-- 41/10 1479 Jul 30 08:50 1993 pail/csp/puzzle.csp rw-r--r-- 41/10 1457 Jul 30 08:50 1993 pail/csp/puzzle1.csp rw-r--r-- 41/10 0 Jul 30 08:50 1993 pail/csp/Untitled.csp rw-r--r-- 41/10 2870 Jul 30 08:50 1993 pail/csp/waltz.cl rw-r--r-- 41/10 2059 Jul 30 08:50 1993 pail/csp/waltz2.csp rw-r--r-- 41/10 2156 Jul 30 08:50 1993 pail/csp/waltz1.csp rw-r--r-- 41/10 2839 Jul 30 08:50 1993 pail/csp/demo2 rw-r--r-- 41/10 4118 Jul 30 08:50 1993 pail/csp/csp-demo-1.cl rw-r--r-- 41/10 2347 Jul 30 08:50 1993 pail/csp/waltz3.csp rw-r--r-- 41/10 8129 Jul 30 08:50 1993 pail/csp/csp-demo2.cl rw-r--r-- 41/10 516 Jul 30 08:50 1993 pail/csp/csp-demo-desc.asc rw-r--r-- 41/10 2909 Jul 30 08:50 1993 pail/csp/csp.testo rw-r--r-- 41/10 10488 Jul 30 08:50 1993 pail/csp/csp-tool-tec.asc rw-r--r-- 41/10 2740 Jul 30 08:50 1993 pail/csp/if.testo rw-r--r-- 41/10 171 Jul 30 08:50 1993 pail/csp/csp-demo2-desc.asc rw-r--r-- 41/10 288 Jul 30 08:50 1993 pail/csp/csp-demo1-desc.asc rw-rw-rw- 41/10 523 Jul 30 08:50 1993 pail/csp/TEMP rw-rw-rw- 41/10 449 Jul 30 08:50 1993 pail/csp/TEMP.hd rw-rw-rw- 41/10 1031 Jul 30 08:50 1993 pail/csp/TEMP.pail rwxrwxrwx 41/10 0 Jul 30 08:50 1993 pail/doc/ rw-r--r-- 41/10 60486 Jul 30 08:50 1993 pail/doc/cky.tex rwxr-xr-x 41/10 9127 Jul 30 08:50 1993 pail/doc/LOGIC.bib rw-r--r-- 41/10 12986 Jul 30 08:50 1993 pail/doc/atn.tex rw-r--r-- 41/10 15616 Jul 30 08:50 1993 pail/doc/calisce.tex rw-r--r-- 41/10 4220 Jul 30 08:50 1993 pail/doc/id3-desc.tex rw-r--r-- 41/10 109574 Jul 30 08:50 1993 pail/doc/LOGIC.tex rw-r--r-- 41/10 12999 Jul 30 08:50 1993 pail/doc/interface.tex rw-r--r-- 41/10 84232 Jul 30 08:50 1993 pail/doc/intml.tex rw-r--r-- 41/10 154760 Jul 30 08:50 1993 pail/doc/LOGIC.dvi rw-r--r-- 41/10 4157 Jul 30 08:50 1993 pail/doc/LOGIC.toc rw-r--r-- 41/10 127 Jul 30 08:50 1993 pail/doc/LOGIC.blg rw-r--r-- 41/10 361 Jul 30 08:50 1993 pail/doc/pail.blg rw-r--r-- 41/10 5337 Jul 30 08:50 1993 pail/doc/LOGIC.bbl rw-r--r-- 41/10 9546 Jul 30 08:50 1993 pail/doc/jtre.tex rw-r--r-- 41/10 23444 Jul 30 08:50 1993 pail/doc/ka.tex rw-r--r-- 41/10 8082 Jul 30 08:50 1993 pail/doc/kbse.sty rw-r--r-- 41/10 100664 Jul 30 08:50 1993 pail/doc/ml.tex rw-r--r-- 41/10 6463 Jul 30 08:50 1993 pail/doc/pail.bbl rw-r--r-- 41/10 22589 Jul 30 08:50 1993 pail/doc/pAILab.bib rw-r--r-- 41/10 28472 Jul 30 08:50 1993 pail/doc/LOGICman.tex rw-r--r-- 41/10 48415 Jul 30 08:50 1993 pail/doc/newml.tex rw-r--r-- 41/10 43272 Jul 30 08:50 1993 pail/doc/LOGICman.dvi rw-r--r-- 41/10 4646 Jul 30 08:50 1993 pail/doc/LOGICman.toc rw-r--r-- 41/10 8676 Jul 30 08:50 1993 pail/doc/pAILab.sty rw-r--r-- 41/10 165636 Jul 30 08:50 1993 pail/doc/pail.dvi rw-r--r-- 41/10 5497 Jul 30 08:50 1993 pail/doc/pail.toc rw-r--r-- 41/10 1833 Jul 30 08:50 1993 pail/doc/examples rw-r--r-- 41/10 26120 Jul 30 08:50 1993 pail/doc/paderborn.tex rw-r--r-- 41/10 14798 Jul 30 08:50 1993 pail/doc/hopfield.tex rw-r--r-- 41/10 19924 Jul 30 08:50 1993 pail/doc/hopfield.dvi rw-r--r-- 41/10 116114 Jul 30 08:50 1993 pail/doc/pail.tex rw-r--r-- 41/10 108984 Jul 30 08:50 1993 pail/doc/logic.tex rw-r--r-- 41/10 7773 Jul 30 08:50 1993 pail/doc/planning.tex rw-r--r-- 41/10 60952 Jul 30 08:50 1993 pail/doc/newml.dvi rw-r--r-- 41/10 2001 Jul 30 08:50 1993 pail/doc/newml.toc rw-r--r-- 41/10 11042 Jul 30 08:50 1993 pail/doc/rgrid.tex rw-r--r-- 41/10 18489 Jul 30 08:50 1993 pail/doc/sigsce.tex rw-r--r-- 41/10 4606 Jul 30 08:50 1993 pail/doc/video.notes rw-r--r-- 41/10 1117 Jul 30 08:50 1993 pail/doc/calisce.log rw-r--r-- 41/10 862 Jul 30 08:50 1993 pail/doc/interface.log rw-r--r-- 41/10 1105 Jul 30 08:50 1993 pail/doc/interface.aux rw-r--r-- 41/10 15520 Jul 30 08:50 1993 pail/doc/interface.dvi rw-r--r-- 41/10 1612 Jul 30 08:50 1993 pail/doc/paderborn.log rw-r--r-- 41/10 4194 Jul 30 08:50 1993 pail/doc/paderborn.aux rw-r--r-- 41/10 34892 Jul 30 08:50 1993 pail/doc/paderborn.dvi rw-r--r-- 41/10 554 Jul 30 08:50 1993 pail/doc/texput.log rw-r--r-- 41/10 131 Jul 30 08:50 1993 pail/doc/paderborn.blg rw-r--r-- 41/10 2647 Jul 30 08:50 1993 pail/doc/paderborn.bbl rw-r--r-- 41/10 0 Jul 30 08:50 1993 pail/.Xauthority rwxrwxrwx 41/10 0 Jul 30 08:58 1993 pail/ebg/ rw-r--r-- 41/10 627 Jul 30 08:50 1993 pail/ebg/demo-desc.tec rw-r--r-- 41/10 2369 Jul 30 08:50 1993 pail/ebg/demo1-desc.gen rw-r--r-- 41/10 2179 Jul 30 08:50 1993 pail/ebg/demo2-desc.gen rw-r--r-- 41/10 11777 Jul 30 08:50 1993 pail/ebg/ebg-browser.cl rw-r--r-- 41/10 1045 Jul 30 08:50 1993 pail/ebg/ebg-brs-hlp0.asc rw-r--r-- 41/10 1273 Jul 30 08:50 1993 pail/ebg/ebg-brs-hlp1.asc rw-r--r-- 41/10 958 Jul 30 08:50 1993 pail/ebg/ebg-brs-hlp2.asc rw-r--r-- 41/10 8952 Jul 30 08:50 1993 pail/ebg/ebg.cl rw-r--r-- 41/10 3169 Jul 30 08:50 1993 pail/ebg/ebg-classes.cl rw-r--r-- 41/10 2833 Jul 30 08:50 1993 pail/ebg/ebg-desc.gen rw-r--r-- 41/10 747 Jul 30 08:50 1993 pail/ebg/ebg-desc.tec rw-r--r-- 41/10 15891 Jul 30 08:50 1993 pail/ebg/ebg-dialog.cl rw-r--r-- 41/10 5937 Jul 30 08:50 1993 pail/ebg/ebg-doc.asc rw-r--r-- 41/10 5937 Jul 30 08:50 1993 pail/ebg/ebg-doc.cl rw-r--r-- 41/10 6878 Jul 30 08:50 1993 pail/ebg/ebg-ex.cl rw-r--r-- 41/10 7672 Jul 30 08:50 1993 pail/ebg/ebg-ex1.cl rw-r--r-- 41/10 3046 Jul 30 08:50 1993 pail/ebg/ebg-make.cl rw-r--r-- 41/10 6633 Jul 30 08:50 1993 pail/ebg/pail-ebg-ex.cl rw-r--r-- 41/10 95 Jul 30 08:50 1993 pail/ebg/tool-desc.gen rw-r--r-- 41/10 475 Jul 30 08:50 1993 pail/ebg/tool-desc.tec rw-r--r-- 41/10 6967 Jul 30 08:50 1993 pail/ebg/user-ebg-ex.cl rw-r--r-- 41/10 7981 Jul 30 08:50 1993 pail/ebg/ebg-ex2.cl rw-r--r-- 41/10 2816 Jul 30 08:50 1993 pail/ebg/stackebg rw-r--r-- 41/10 770 Jul 30 08:50 1993 pail/ebg/stackebg.hd rw-r--r-- 41/10 633 Jul 30 08:50 1993 pail/ebg/stackebg.pail rw-r--r-- 41/10 2863 Jul 30 08:50 1993 pail/ebg/suicide rw-r--r-- 41/10 1006 Jul 30 08:50 1993 pail/ebg/suicide.hd rw-r--r-- 41/10 800 Jul 30 08:50 1993 pail/ebg/suicide.pail rw-r--r-- 41/10 1416 Jul 30 08:50 1993 pail/.alias rw-r--r-- 41/10 962 Jul 30 08:50 1993 pail/.cshrc rw-r--r-- 41/10 2330 Jul 30 08:50 1993 pail/dot-pail-init.cl rw-r--r-- 41/10 251 Jul 30 08:50 1993 pail/dot.emacs_pool rwxrwxrwx 41/10 0 Jul 30 08:50 1993 pail/emacs/ rw-r--r-- 41/10 309 Jul 30 08:50 1993 pail/emacs/dot.emacs rw-r--r-- 41/10 2457 Jul 30 08:50 1993 pail/emacs/dot.clinit.cl rw-r--r-- 41/10 9773 Jul 30 08:50 1993 pail/emacs/pail-init.el rw-r--r-- 41/10 9405 Jul 30 08:50 1993 pail/emacs/pail-init.backup rwxrwxrwx 41/10 0 Jul 30 08:58 1993 pail/forward-rules/ rw-r--r-- 41/10 17444 Jul 30 08:50 1993 pail/forward-rules/win-back.cl rw-r--r-- 41/10 589 Jul 30 08:50 1993 pail/forward-rules/demo-desc.tec rw-r--r-- 41/10 1213 Jul 30 08:50 1993 pail/forward-rules/demo1-desc.gen rw-r--r-- 41/10 22946 Jul 30 08:50 1993 pail/forward-rules/forward-rules-dialog.cl rw-r--r-- 41/10 18919 Jul 30 08:50 1993 pail/forward-rules/obj-forw.cl rwxr-xr-x 41/10 1370 Jul 30 08:50 1993 pail/forward-rules/forward-rules-con1 rw-r--r-- 41/10 735 Jul 30 08:50 1993 pail/forward-rules/forward-rules-desc.gen rwxr-xr-x 41/10 1222 Jul 30 08:50 1993 pail/forward-rules/forward-rules-desc.tec rw-r--r-- 41/10 3701 Jul 30 08:50 1993 pail/forward-rules/forward-rules-ex1.cl rw-r--r-- 41/10 3983 Jul 30 08:50 1993 pail/forward-rules/forward-rules-make.cl rw-r--r-- 41/10 1012 Jul 30 08:50 1993 pail/forward-rules/win-anias.cl rw-r--r-- 41/10 2973 Jul 30 08:50 1993 pail/forward-rules/win-anikb.cl rw-r--r-- 41/10 1716 Jul 30 08:50 1993 pail/forward-rules/win-fun.cl rw-r--r-- 41/10 1382 Jul 30 08:50 1993 pail/forward-rules/win-intf.cl rw-r--r-- 41/10 3532 Jul 30 08:50 1993 pail/forward-rules/forward-rules-ex2.cl rwxr-xr-x 41/10 844 Jul 30 08:50 1993 pail/forward-rules/forward-rules-con1.hd rwxr-xr-x 41/10 974 Jul 30 08:50 1993 pail/forward-rules/forward-rules-con1.pail rwxrwxrwx 41/10 0 Jul 30 08:58 1993 pail/ga/ rw-r--r-- 41/10 34215 Jul 30 08:50 1993 pail/ga/ga-dialog.cl rw-r--r-- 41/10 7674 Jul 30 08:50 1993 pail/ga/ga-functions.cl rw-r--r-- 41/10 2226 Jul 30 08:50 1993 pail/ga/ga-make.cl rw-r--r-- 41/10 18129 Jul 30 08:50 1993 pail/ga/ga.cl rw-r--r-- 41/10 2635 Jul 30 08:50 1993 pail/ga/ga-main-help.gen rw-r--r-- 41/10 923 Jul 30 08:50 1993 pail/ga/ga-main-help.tec rw-r--r-- 41/10 1942 Jul 30 08:50 1993 pail/ga/ga-monitor-help.asc rw-r--r-- 41/10 4300 Jul 30 08:50 1993 pail/ga/ga-parameter-help.asc rwxrwxrwx 41/10 0 Jul 30 08:58 1993 pail/gtre/ rw-r--r-- 41/10 517 Jul 30 08:50 1993 pail/gtre/before-jtre.cl rw-r--r-- 41/10 4719 Jul 30 08:50 1993 pail/gtre/contra-browser.cl rw-r--r-- 41/10 1963 Jul 30 08:50 1993 pail/gtre/contra-specif.cl rw-r--r-- 41/10 4261 Jul 30 08:50 1993 pail/gtre/ebl-jtre.cl rw-r--r-- 41/10 27290 Jul 30 08:50 1993 pail/gtre/gtre.cl rw-r--r-- 41/10 3756 Jul 30 08:50 1993 pail/gtre/gtredefs.cl rw-r--r-- 41/10 12702 Jul 30 08:50 1993 pail/gtre/jinterface.cl rw-r--r-- 41/10 13476 Jul 30 08:50 1993 pail/gtre/nmjinterface.cl rw-r--r-- 41/10 2979 Jul 30 08:50 1993 pail/gtre/tms-browser-specif.cl rw-r--r-- 41/10 11272 Jul 30 08:50 1993 pail/gtre/tms-browser.cl rwxrwxrwx 41/10 0 Jul 30 08:50 1993 pail/help/ rw-r--r-- 41/10 7311 Jul 30 08:50 1993 pail/help/main.tec rw-r--r-- 41/10 1463 Jul 30 08:50 1993 pail/help/ga-main rw-r--r-- 41/10 4301 Jul 30 08:50 1993 pail/help/main.gen rw-r--r-- 41/10 1341 Jul 30 08:50 1993 pail/help/ga-monitor rw-r--r-- 41/10 316 Jul 30 08:50 1993 pail/help/ga-parameter rw-r--r-- 41/10 30 Jul 30 08:50 1993 pail/help/pail-main rwxrwxrwx 41/10 0 Jul 30 08:58 1993 pail/id3/ rw-r--r-- 41/10 2322 Jul 30 08:50 1993 pail/id3/demo-desc.tec rw-r--r-- 41/10 2778 Jul 30 08:50 1993 pail/id3/demo-desc1.gen rw-r--r-- 41/10 32 Jul 30 08:50 1993 pail/id3/demo1-desc.asc rw-r--r-- 41/10 4144 Jul 30 08:50 1993 pail/id3/demo1-desc.gen rw-r--r-- 41/10 33 Jul 30 08:50 1993 pail/id3/demo2-desc.asc rw-r--r-- 41/10 2947 Jul 30 08:50 1993 pail/id3/demo2-desc.gen rw-r--r-- 41/10 1246 Jul 30 08:50 1993 pail/id3/demo3-desc.gen rw-r--r-- 41/10 881 Jul 30 08:50 1993 pail/id3/demo4-desc.gen rw-r--r-- 41/10 1131 Jul 30 08:50 1993 pail/id3/demo5-desc.gen rw-r--r-- 41/10 5471 Jul 30 08:50 1993 pail/id3/id3-ascii-dialog.cl rw-r--r-- 41/10 4203 Jul 30 08:50 1993 pail/id3/id3-ex1.cl rw-r--r-- 41/10 2877 Jul 30 08:50 1993 pail/id3/id3-desc.asc rw-r--r-- 41/10 3129 Jul 30 08:50 1993 pail/id3/id3-desc.gen rw-r--r-- 41/10 690 Jul 30 08:50 1993 pail/id3/id3-desc.tec rw-r--r-- 41/10 3995 Jul 30 08:50 1993 pail/id3/id3-ex2.cl rw-r--r-- 41/10 3863 Jul 30 08:50 1993 pail/id3/id3-ex3.cl rw-r--r-- 41/10 3391 Jul 30 08:50 1993 pail/id3/id3-ex4.cl rw-r--r-- 41/10 4975 Jul 30 08:50 1993 pail/id3/id3-ex5.cl rw-r--r-- 41/10 11808 Jul 30 08:50 1993 pail/id3/id3-lib.cl rw-r--r-- 41/10 19 Jul 30 08:50 1993 pail/id3/id3-help.asc rw-r--r-- 41/10 2291 Jul 30 08:50 1993 pail/id3/id3-make.cl rw-r--r-- 41/10 7419 Jul 30 08:50 1993 pail/id3/id3-wild.cl rw-r--r-- 41/10 8359 Jul 30 08:50 1993 pail/id3/id3.cl rw-r--r-- 41/10 27 Jul 30 08:50 1993 pail/id3/tool-desc.asc rw-r--r-- 41/10 4300 Jul 30 08:50 1993 pail/id3/id3-examples rw-r--r-- 41/10 958 Jul 30 08:50 1993 pail/id3/id3-examples.hd rw-r--r-- 41/10 6 Jul 30 08:50 1993 pail/id3/id3-examples.pail rw-r--r-- 41/10 6625 Jul 30 08:50 1993 pail/id3/id3test rw-r--r-- 41/10 1003 Jul 30 08:50 1993 pail/id3/id3test.hd rw-r--r-- 41/10 1929 Jul 30 08:50 1993 pail/id3/id3test.pail rw-r--r-- 41/10 511 Jul 30 08:50 1993 pail/id3/iris rw-r--r-- 41/10 533 Jul 30 08:50 1993 pail/id3/iris.hd rw-r--r-- 41/10 4954 Jul 30 08:50 1993 pail/id3/iris.pail rw-r--r-- 41/10 511 Jul 30 08:50 1993 pail/id3/pippppo rw-r--r-- 41/10 679 Jul 30 08:50 1993 pail/id3/pippppo.hd rw-r--r-- 41/10 288 Jul 30 08:50 1993 pail/id3/pippppo.pail rw-r--r-- 41/10 30186 Jul 30 08:50 1993 pail/id3/id3-dialog.cl rw-r--r-- 41/10 338 Jul 30 08:50 1993 pail/.mg rwxrwxrwx 41/10 0 Jul 30 08:58 1993 pail/nn/ rw-r--r-- 41/10 1915 Jul 30 08:50 1993 pail/nn/nn-make.cl rw-r--r-- 41/10 4801 Jul 30 08:50 1993 pail/nn/nn-dialog.cl rwxrwxrwx 41/10 0 Jul 30 08:58 1993 pail/np/ rw-r--r-- 41/10 7293 Jul 30 08:50 1993 pail/np/np-exm.cl rw-r--r-- 41/10 12642 Jul 30 08:50 1993 pail/np/np-bp.cl rw-r--r-- 41/10 13713 Jul 30 08:50 1993 pail/np/np-graphics.cl rw-r--r-- 41/10 3203 Jul 30 08:50 1993 pail/np/demo-desc.tec rw-r--r-- 41/10 268 Jul 30 08:50 1993 pail/np/np-desc.tec rw-r--r-- 41/10 3025 Jul 30 08:50 1993 pail/np/show-net-desc.tec rw-r--r-- 41/10 1081 Jul 30 08:50 1993 pail/np/demo-desc.gen rw-r--r-- 41/10 1526 Jul 30 08:50 1993 pail/np/np-desc.gen rw-r--r-- 41/10 262 Jul 30 08:50 1993 pail/np/show-net-desc.gen rw-r--r-- 41/10 73 Jul 30 08:50 1993 pail/np/424.wt rw-r--r-- 41/10 3500 Jul 30 08:50 1993 pail/np/hopfield-examp.cl rw-r--r-- 41/10 8647 Jul 30 08:50 1993 pail/np/np-def.cl rw-r--r-- 41/10 5774 Jul 30 08:50 1993 pail/np/np-demo.cl rw-r--r-- 41/10 602 Jul 30 08:50 1993 pail/np/fourencode.hd rw-r--r-- 41/10 31137 Jul 30 08:50 1993 pail/np/np-dialog.cl rw-r--r-- 41/10 6090 Jul 30 08:50 1993 pail/np/np-demo1.cl rw-r--r-- 41/10 1852 Jul 30 08:50 1993 pail/np/np-make.cl rw-r--r-- 41/10 4480 Jul 30 08:50 1993 pail/np/np.cl rw-r--r-- 41/10 5974 Jul 30 08:50 1993 pail/np/np-hopfield.cl rw-r--r-- 41/10 3412 Jul 30 08:50 1993 pail/np/tool-desc.tec rw-r--r-- 41/10 675 Jul 30 08:50 1993 pail/np/tool-desc.gen rw-r--r-- 41/10 1479 Jul 30 08:50 1993 pail/np/netrooms rw-r--r-- 41/10 545 Jul 30 08:50 1993 pail/np/netrooms.hd rw-r--r-- 41/10 6 Jul 30 08:50 1993 pail/np/netrooms.pail rw-r--r-- 41/10 1151 Jul 30 08:50 1993 pail/np/fourencode rw-r--r-- 41/10 6 Jul 30 08:50 1993 pail/np/fourencode.pail rw-r--r-- 41/10 933 Jul 30 08:50 1993 pail/np/one-bit-xor rw-r--r-- 41/10 541 Jul 30 08:50 1993 pail/np/one-bit-xor.hd rw-r--r-- 41/10 6 Jul 30 08:50 1993 pail/np/one-bit-xor.pail rw------- 41/10 433 Jul 30 08:50 1993 pail/.history rwxrwxrwx 41/10 0 Jul 30 08:58 1993 pail/hopfield/ rw-r--r-- 41/10 21983 Jul 30 08:50 1993 pail/hopfield/demo1.cl rw-r--r-- 41/10 17 Jul 30 08:50 1993 pail/hopfield/general-help rw-r--r-- 41/10 1558 Jul 30 08:50 1993 pail/hopfield/general-output-help rw-r--r-- 41/10 6781 Jul 30 08:50 1993 pail/hopfield/hopfield-data.cl rw-r--r-- 41/10 2691 Jul 30 08:50 1993 pail/hopfield/hopfield-desc.gen rw-r--r-- 41/10 33 Jul 30 08:50 1993 pail/hopfield/hopfield-desc.tec rw-r--r-- 41/10 99 Jul 30 08:50 1993 pail/hopfield/hopfield-input-help.gen rw-r--r-- 41/10 11 Jul 30 08:50 1993 pail/hopfield/technical-help rw-r--r-- 41/10 1024 Jul 30 08:50 1993 pail/hopfield/technical-input-help rw-r--r-- 41/10 1480 Jul 30 08:50 1993 pail/hopfield/technical-output-help rw-r--r-- 41/10 1310 Jul 30 08:50 1993 pail/hopfield/technical-parameter-help rw-r--r-- 41/10 776 Jul 30 08:50 1993 pail/hopfield/technical-weight-help rw-r--r-- 41/10 36990 Jul 30 08:50 1993 pail/hopfield/hopfield-interface.cl rw-r--r-- 41/10 3079 Jul 30 08:50 1993 pail/hopfield/hopfield-main.cl rw-r--r-- 41/10 1503 Jul 30 08:50 1993 pail/hopfield/hopfield-make.cl rw-r--r-- 41/10 19296 Jul 30 08:50 1993 pail/hopfield/hopfield-network.cl rw-r--r-- 41/10 6271 Jul 30 08:50 1993 pail/hopfield/hopfield-data.deans rw-r--r-- 41/10 642 Jul 30 08:50 1993 pail/.emacs rwxrwxrwx 41/10 0 Jul 30 08:58 1993 pail/jtms/ rwxr-xr-x 41/10 2064 Jul 30 08:50 1993 pail/jtms/raining-ex rw-r--r-- 41/10 9701 Jul 30 08:50 1993 pail/jtms/jtms-dialog.cl rw-r--r-- 41/10 8212 Jul 30 08:50 1993 pail/jtms/jtms-filemgr.cl rw-r--r-- 41/10 3079 Jul 30 08:50 1993 pail/jtms/jtms-make.cl rw-r--r-- 41/10 1593 Jul 30 08:50 1993 pail/jtms/jtms-new.cl rw-r--r-- 41/10 20387 Jul 30 08:50 1993 pail/jtms/jtms.cl rwxr-xr-x 41/10 2574 Jul 30 08:50 1993 pail/jtms/safe-to-stack-ex rw-r--r-- 41/10 1071 Jul 30 08:50 1993 pail/jtms/jtms-doc.tec rw-r--r-- 41/10 9644 Jul 30 08:50 1993 pail/jtms/jtms-doc.gen rw-r--r-- 41/10 1302 Jul 30 08:50 1993 pail/jtms/raining-ex.hd rw-r--r-- 41/10 1349 Jul 30 08:50 1993 pail/jtms/safe-to-stack-ex.hd rw-r--r-- 41/10 1339 Jul 30 08:50 1993 pail/jtms/swimming-ex.hd rwxr-xr-x 41/10 2728 Jul 30 08:50 1993 pail/jtms/go-outdoors-ex rw-r--r-- 41/10 2069 Jul 30 08:50 1993 pail/jtms/swimming-ex rw-r--r-- 41/10 3 Jul 30 08:50 1993 pail/jtms/safe-to-stack-ex.pail rw-r--r-- 41/10 2 Jul 30 08:50 1993 pail/jtms/swimming-ex.pail rw-r--r-- 41/10 1347 Jul 30 08:50 1993 pail/jtms/go-outdoors-ex.hd rw-r--r-- 41/10 3 Jul 30 08:50 1993 pail/jtms/go-outdoors-ex.pail rw-r--r-- 41/10 3 Jul 30 08:50 1993 pail/jtms/raining-ex.pail rw-r--r-- 41/10 1439 Jul 30 08:50 1993 pail/jtms/new-ex rw-r--r-- 41/10 1485 Jul 30 08:50 1993 pail/jtms/new-ex.hd rw-r--r-- 41/10 3 Jul 30 08:50 1993 pail/jtms/new-ex.pail rwxrwxrwx 41/10 0 Jul 30 08:58 1993 pail/nmjtms/ rw-r--r-- 41/10 2121 Jul 30 08:50 1993 pail/nmjtms/raining-ex rwxr-xr-x 41/10 3052 Jul 30 08:50 1993 pail/nmjtms/right-trains-ex rw-r--r-- 41/10 3993 Jul 30 08:50 1993 pail/nmjtms/util.cl rw-r--r-- 41/10 1448 Jul 30 08:50 1993 pail/nmjtms/new-ex rw-r--r-- 41/10 10099 Jul 30 08:50 1993 pail/nmjtms/nmjtms-dialog.cl rw-r--r-- 41/10 1105 Jul 30 08:50 1993 pail/nmjtms/nmjtms-ex1.cl rw-r--r-- 41/10 8682 Jul 30 08:50 1993 pail/nmjtms/nmjtms-filemgr.cl rw-r--r-- 41/10 6236 Jul 30 08:50 1993 pail/nmjtms/nmjtms-ex2.cl rw-r--r-- 41/10 3145 Jul 30 08:50 1993 pail/nmjtms/nmjtms-make.cl rw-r--r-- 41/10 1636 Jul 30 08:50 1993 pail/nmjtms/nmjtms-new.cl rw-r--r-- 41/10 22788 Jul 30 08:50 1993 pail/nmjtms/nmjtms.cl rwxr-xr-x 41/10 8872 Jul 30 08:50 1993 pail/nmjtms/car-design-ex rw-r--r-- 41/10 3229 Jul 30 08:50 1993 pail/nmjtms/wrong-trains-ex rw-r--r-- 41/10 1127 Jul 30 08:50 1993 pail/nmjtms/DCSP.doc rw-r--r-- 41/10 1826 Jul 30 08:50 1993 pail/nmjtms/swimming-ex rw-r--r-- 41/10 1172 Jul 30 08:50 1993 pail/nmjtms/nmjtms-doc.tec rw-r--r-- 41/10 34 Jul 30 08:50 1993 pail/nmjtms/nmjtms-view-doc.tec rw-r--r-- 41/10 2156 Jul 30 08:50 1993 pail/nmjtms/nmjtms-doc.gen rw-r--r-- 41/10 34 Jul 30 08:50 1993 pail/nmjtms/nmjtms-view-doc.gen rw-r--r-- 41/10 1539 Jul 30 08:50 1993 pail/nmjtms/car-design-ex.hd rw-r--r-- 41/10 3 Jul 30 08:50 1993 pail/nmjtms/new-ex.pail rw-r--r-- 41/10 1482 Jul 30 08:50 1993 pail/nmjtms/swimming-ex.hd rw-r--r-- 41/10 1599 Jul 30 08:50 1993 pail/nmjtms/raining-ex.hd rw-r--r-- 41/10 1319 Jul 30 08:50 1993 pail/nmjtms/right-trains-ex.hd rw-r--r-- 41/10 1319 Jul 30 08:50 1993 pail/nmjtms/wrong-trains-ex.hd rw-r--r-- 41/10 3 Jul 30 08:50 1993 pail/nmjtms/swimming-ex.pail rw-r--r-- 41/10 3 Jul 30 08:50 1993 pail/nmjtms/car-design-ex.pail rw-r--r-- 41/10 3 Jul 30 08:50 1993 pail/nmjtms/raining-ex.pail rw-r--r-- 41/10 3 Jul 30 08:50 1993 pail/nmjtms/right-trains-ex.pail rw-r--r-- 41/10 3 Jul 30 08:50 1993 pail/nmjtms/wrong-trains-ex.pail rw-r--r-- 41/10 617 Jul 30 08:50 1993 pail/nmjtms/nmjtms-doc.new rw-r--r-- 41/10 1485 Jul 30 08:50 1993 pail/nmjtms/new-ex.hd rw-r--r-- 41/10 5747 Jul 30 08:50 1993 pail/nmjtms/prova rw-r--r-- 41/10 2204 Jul 30 08:50 1993 pail/nmjtms/prova.hd rw-r--r-- 41/10 844 Jul 30 08:50 1993 pail/nmjtms/prova.pail rwxrwxrwx 41/10 0 Jul 30 08:58 1993 pail/pail-lib/ rw-r--r-- 41/10 22790 Jul 30 08:50 1993 pail/pail-lib/browser.cl rw-r--r-- 41/10 3403 Jul 30 08:50 1993 pail/pail-lib/gtredefs.cl rw-r--r-- 41/10 6242 Jul 30 08:50 1993 pail/pail-lib/help-button.cl rw-r--r-- 41/10 8497 Jul 30 08:50 1993 pail/pail-lib/pail-dialog.cl rw-r--r-- 41/10 5047 Jul 30 08:50 1993 pail/pail-lib/pail-lib.cl rw-r--r-- 41/10 9883 Jul 30 08:50 1993 pail/pail-lib/pool.cl rw-r--r-- 41/10 12473 Jul 30 08:50 1993 pail/pail-lib/rules.cl rw-r--r-- 41/10 11121 Jul 30 08:50 1993 pail/pail-lib/tables.cl rw-r--r-- 41/10 4561 Jul 30 08:50 1993 pail/pail-lib/trees.cl rw-r--r-- 41/10 3916 Jul 30 08:50 1993 pail/pail-lib/unify.cl rw-r--r-- 41/10 54855 Jul 30 08:50 1993 pail/pail-lib/loop.cl rw-r--r-- 41/10 29884 Jul 30 08:50 1993 pail/pail-lib/save-object.cl rwxrwxrwx 41/10 0 Jul 30 08:58 1993 pail/pail-lib/acl-gin/ rwxr-xr-x 41/10 2236 Jul 30 08:50 1993 pail/pail-lib/acl-gin/README rw-r--r-- 41/10 3664 Jul 30 08:50 1993 pail/pail-lib/acl-gin/Makefile rwxrwxrwx 41/10 0 Jul 30 08:50 1993 pail/pail-lib/acl-gin/examples/ rw-r--r-- 41/10 2381 Jul 30 08:50 1993 pail/pail-lib/acl-gin/examples/draw-display.cl rw-r--r-- 41/10 7783 Jul 30 08:50 1993 pail/pail-lib/acl-gin/examples/help-button.cl rw-r--r-- 41/10 5370 Jul 30 08:50 1993 pail/pail-lib/acl-gin/examples/make-display.cl rw-r--r-- 41/10 4968 Jul 30 08:50 1993 pail/pail-lib/acl-gin/examples/make-scroll-display.cl rw-r--r-- 41/10 2231 Jul 30 08:50 1993 pail/pail-lib/acl-gin/examples/pool-dialog.cl rw-r--r-- 41/10 4512 Jul 30 08:50 1993 pail/pail-lib/acl-gin/examples/pop-up-button.cl rw-r--r-- 41/10 8217 Jul 30 08:50 1993 pail/pail-lib/acl-gin/examples/push-button.cl rw-r--r-- 41/10 4851 Jul 30 08:50 1993 pail/pail-lib/acl-gin/examples/radio-button.cl rw-r--r-- 41/10 2334 Jul 30 08:50 1993 pail/pail-lib/acl-gin/examples/select-button.cl rw-r--r-- 41/10 510 Jul 30 08:50 1993 pail/pail-lib/acl-gin/examples/special-display.cl rw-r--r-- 41/10 46120 Jul 30 08:50 1993 pail/pail-lib/acl-gin/gin.cl rw-r--r-- 41/10 44118 Jul 30 08:50 1993 pail/pail-lib/acl-gin/menu.cl rw-r--r-- 41/10 10353 Jul 30 08:50 1993 pail/pail-lib/acl-gin/static-scroll-bar.cl rw-r--r-- 41/10 10034 Jul 30 08:50 1993 pail/pail-lib/acl-gin/static-pann-bar.cl rw-r--r-- 41/10 14186 Jul 30 08:50 1993 pail/pail-lib/acl-gin/select-button.cl rw-r--r-- 41/10 12785 Jul 30 08:50 1993 pail/pail-lib/acl-gin/text-scroller.cl rw-r--r-- 41/10 15677 Jul 30 08:50 1993 pail/pail-lib/acl-gin/help.cl rw-r--r-- 41/10 4116 Jul 30 08:50 1993 pail/pail-lib/acl-gin/scroll-display.cl rw-r--r-- 41/10 19720 Jul 30 08:50 1993 pail/pail-lib/acl-gin/bar.cl rw-r--r-- 41/10 590 Jul 30 08:50 1993 pail/pail-lib/acl-gin/gin-diff rw-r--r-- 41/10 1136 Jul 30 08:50 1993 pail/pail-lib/acl-gin/menu-diff rw-r--r-- 41/10 13580 Jul 30 08:50 1993 pail/pail-lib/poolfile.cl rw-r--r-- 41/10 2261 Jul 30 08:50 1993 pail/pail-lib/animate.cl rw-r--r-- 41/10 4245 Jul 30 08:50 1993 pail/pail-lib/rule-edit.cl rw-r--r-- 41/10 16551 Jul 30 08:50 1993 pail/pail-lib/table-ed.cl rw-r--r-- 41/10 4815 Jul 30 08:50 1993 pail/pail-lib/tre2rul.cl rw-r--r-- 41/10 6510 Jul 30 08:50 1993 pail/pail-lib/operators.cl rw-r--r-- 41/10 2137 Jul 30 08:50 1993 pail/pail-lib/spratt.cl rw-r--r-- 41/10 246 Jul 30 08:50 1993 pail/pail-lib/global.cl rw-r--r-- 41/10 4151 Jul 30 08:50 1993 pail/pail-lib/np-tables.cl rw-r--r-- 41/10 14157 Jul 30 08:50 1993 pail/pail-lib/table-ed-obj.cl rw-r--r-- 41/10 32 Jul 30 08:50 1993 pail/pail-lib/table-ed.asc rw-r--r-- 41/10 169 Jul 30 08:50 1993 pail/pail-lib/dirp.c rw-r--r-- 41/10 16042 Jul 30 08:50 1993 pail/pail-lib/file-browser.cl rw-r--r-- 41/10 200 Jul 30 08:50 1993 pail/pail-lib/dirp.o rw-r--r-- 41/10 2432 Jul 30 08:50 1993 pail/pail-lib/size-indep-utils.cl rw-r--r-- 41/10 3469 Jul 30 08:50 1993 pail/pail-lib/sftw-push.cl rw-r--r-- 41/10 884 Jul 30 08:50 1993 pail/pail-lib/pailgc.cl rw-rw-rw- 41/10 541 Jul 30 08:50 1993 pail/pail-lib/TEMP rw-rw-rw- 41/10 456 Jul 30 08:50 1993 pail/pail-lib/TEMP.hd rw-rw-rw- 41/10 110 Jul 30 08:50 1993 pail/pail-lib/TEMP.pail rw-r--r-- 41/10 2068 Jul 30 08:50 1993 pail/.mailrc~ rw-r--r-- 41/10 1996 Jul 30 08:50 1993 pail/.mailrc rw-r--r-- 41/10 2355 Jul 30 08:50 1993 pail/.pail-init.cl~ rw-r--r-- 41/10 33 Jul 30 08:50 1993 pail/.clinit.cl rw-rw-rw- 41/10 10250 Jul 30 08:50 1993 pail/pail-load.cl rwxrwxrwx 41/10 0 Jul 30 08:58 1993 pail/planning/ rw-r--r-- 41/10 2043 Jul 30 08:50 1993 pail/planning/demo.cl rwxrwxrwx 41/10 0 Jul 30 08:58 1993 pail/planning/snlp/ rw-r--r-- 41/10 2939 Jul 30 08:50 1993 pail/planning/snlp/README rw-r--r-- 41/10 2456 Jul 30 08:50 1993 pail/planning/snlp/snlp-pail.cl rw-r--r-- 41/10 19892 Jul 30 08:50 1993 pail/planning/snlp/unif.cl rw-r--r-- 41/10 13693 Jul 30 08:50 1993 pail/planning/snlp/structs.cl rw-r--r-- 41/10 33776 Jul 30 08:50 1993 pail/planning/snlp/snlp.cl rwxrwxrwx 41/10 0 Jul 30 08:58 1993 pail/planning/domains/ rw-r--r-- 41/10 6193 Jul 30 08:50 1993 pail/planning/domains/blocks.cl rw-r--r-- 41/10 470 Jul 30 08:50 1993 pail/planning/domains/fuel.cl rw-r--r-- 41/10 4891 Jul 30 08:50 1993 pail/planning/domains/maze.cl rw-r--r-- 41/10 1411 Jul 30 08:50 1993 pail/planning/domains/robot.cl rw-r--r-- 41/10 17130 Jul 30 08:50 1993 pail/planning/domains/bworld.cl rw-r--r-- 41/10 798 Jul 30 08:50 1993 pail/planning/planner.system rw-r--r-- 41/10 5122 Jul 30 08:50 1993 pail/planning/gin-back.cl rw-r--r-- 41/10 3449 Jul 30 08:50 1993 pail/planning/planner.cl rw-r--r-- 41/10 19892 Jul 30 08:50 1993 pail/planning/unif.cl rw-r--r-- 41/10 20167 Jul 30 08:50 1993 pail/planning/graphics.cl rw-r--r-- 41/10 9121 Jul 30 08:50 1993 pail/planning/search.cl rw-r--r-- 41/10 2980 Jul 30 08:50 1993 pail/planning/unify.cl rw-r--r-- 41/10 3972 Jul 30 08:50 1993 pail/planning/planning-ex1.cl rw-r--r-- 41/10 10973 Jul 30 08:50 1993 pail/planning/strips.cl rw-r--r-- 41/10 525 Jul 30 08:50 1993 pail/planning/globals.cl rw-r--r-- 41/10 2491 Jul 30 08:50 1993 pail/planning/planning-make.cl rw-r--r-- 41/10 15060 Jul 30 08:50 1993 pail/planning/planning-desc.asc rw-r--r-- 41/10 28049 Jul 30 08:50 1993 pail/planning/planning-dialog.cl rw-r--r-- 41/10 6446 Jul 30 08:50 1993 pail/planning/planning-desc.gen rw-r--r-- 41/10 2094 Jul 30 08:50 1993 pail/planning/mazes rw-r--r-- 41/10 768 Jul 30 08:50 1993 pail/planning/demo-desc.tec rw-r--r-- 41/10 4068 Jul 30 08:50 1993 pail/planning/planning-ex2.cl rw-r--r-- 41/10 3756 Jul 30 08:50 1993 pail/planning/planning-ex3.cl rw-r--r-- 41/10 1250 Jul 30 08:50 1993 pail/planning/sussman rw-r--r-- 41/10 1240 Jul 30 08:50 1993 pail/planning/optest.hd rw-r--r-- 41/10 3595 Jul 30 08:50 1993 pail/planning/planning-ex4.cl rwxr-xr-- 41/10 1003 Jul 30 08:50 1993 pail/planning/missionaries.hd rwxr-xr-- 41/10 3609 Jul 30 08:50 1993 pail/planning/missionaries.pail rw-r--r-- 41/10 711 Jul 30 08:50 1993 pail/planning/optest.pail rw-r--r-- 41/10 1290 Jul 30 08:50 1993 pail/planning/robots.hd rw-r--r-- 41/10 1443 Jul 30 08:50 1993 pail/planning/robots.pail rw-r--r-- 41/10 1955 Jul 30 08:50 1993 pail/planning/robots rw-r--r-- 41/10 1798 Jul 30 08:50 1993 pail/planning/planning-desc.tec rw-r--r-- 41/10 6872 Jul 30 08:50 1993 pail/planning/tool-desc.tec rw-r--r-- 41/10 1942 Jul 30 08:50 1993 pail/planning/mazes.hd rw-r--r-- 41/10 935 Jul 30 08:50 1993 pail/planning/demo1-desc.gen rw-r--r-- 41/10 3274 Jul 30 08:50 1993 pail/planning/mazes.pail rw-r--r-- 41/10 2875 Jul 30 08:50 1993 pail/planning/planning-p.gen rw-r--r-- 41/10 2148 Jul 30 08:50 1993 pail/planning/tool-desc.gen rw-r--r-- 41/10 1446 Jul 30 08:50 1993 pail/planning/demo2-desc.gen rw-r--r-- 41/10 1128 Jul 30 08:50 1993 pail/planning/demo3-desc.gen rw-r--r-- 41/10 824 Jul 30 08:50 1993 pail/planning/demo4-desc.gen rw-r--r-- 41/10 1610 Jul 30 08:50 1993 pail/planning/planning-p.tec rw-r--r-- 41/10 1244 Jul 30 08:50 1993 pail/planning/sussman.hd rw-r--r-- 41/10 781 Jul 30 08:50 1993 pail/planning/sussman.pail rwxr-xr-- 41/10 991 Jul 30 08:50 1993 pail/planning/missionaries rw-r--r-- 41/10 1453 Jul 30 08:50 1993 pail/planning/optest rwxr-xr-- 41/10 1247 Jul 30 08:50 1993 pail/planning/hanoi rwxr-xr-- 41/10 1240 Jul 30 08:50 1993 pail/planning/hanoi.hd rwxr-xr-- 41/10 649 Jul 30 08:50 1993 pail/planning/hanoi.pail rwxrwxrwx 41/10 0 Jul 30 08:50 1993 pail/pool/ rw-r--r-- 41/10 1262 Jul 30 08:50 1993 pail/pool/backward.pail rwxr-xr-- 41/10 98 Jul 30 08:50 1993 pail/pool/maketar rw-r--r-- 41/10 1024 Jul 30 08:50 1993 pail/pool/blocks-ex1 rw-r--r-- 41/10 1014 Jul 30 08:50 1993 pail/pool/blocks-ex1.hd rw-r--r-- 41/10 795 Jul 30 08:50 1993 pail/pool/blocks-ex1.pail rw-r--r-- 41/10 4300 Jul 30 08:50 1993 pail/pool/id3-examples rw-r--r-- 41/10 958 Jul 30 08:50 1993 pail/pool/id3-examples.hd rw-r--r-- 41/10 6 Jul 30 08:50 1993 pail/pool/id3-examples.pail rw-r--r-- 41/10 6625 Jul 30 08:50 1993 pail/pool/id3test rw-r--r-- 41/10 1003 Jul 30 08:50 1993 pail/pool/id3test.hd rw-r--r-- 41/10 1929 Jul 30 08:50 1993 pail/pool/id3test.pail rw-r--r-- 41/10 2094 Jul 30 08:50 1993 pail/pool/mazes rw-r--r-- 41/10 1942 Jul 30 08:50 1993 pail/pool/mazes.hd rw-r--r-- 41/10 3274 Jul 30 08:50 1993 pail/pool/mazes.pail rw-r--r-- 41/10 511 Jul 30 08:50 1993 pail/pool/mushroom-ex rw-r--r-- 41/10 419 Jul 30 08:50 1993 pail/pool/mushroom-ex.hd rw-r--r-- 41/10 129 Jul 30 08:50 1993 pail/pool/mushroom-ex.pail rw-r--r-- 41/10 5143 Jul 30 08:50 1993 pail/pool/mushrooms1 rw-r--r-- 41/10 872 Jul 30 08:50 1993 pail/pool/mushrooms1.hd rw-r--r-- 41/10 977 Jul 30 08:50 1993 pail/pool/mushrooms1.pail rw-r--r-- 41/10 1453 Jul 30 08:50 1993 pail/pool/optest rw-r--r-- 41/10 1240 Jul 30 08:50 1993 pail/pool/optest.hd rw-r--r-- 41/10 711 Jul 30 08:50 1993 pail/pool/optest.pail rw-r--r-- 41/10 3204 Jul 30 08:50 1993 pail/pool/plain-ops rw-r--r-- 41/10 2008 Jul 30 08:50 1993 pail/pool/plain-ops.hd rw-r--r-- 41/10 1706 Jul 30 08:50 1993 pail/pool/plain-ops.pail rw-r--r-- 41/10 1262 Jul 30 08:50 1993 pail/pool/animals rw-r--r-- 41/10 1955 Jul 30 08:50 1993 pail/pool/robots rw-r--r-- 41/10 1290 Jul 30 08:50 1993 pail/pool/robots.hd rw-r--r-- 41/10 1443 Jul 30 08:50 1993 pail/pool/robots.pail rwxr-xr-- 41/10 1370 Jul 30 08:50 1993 pail/pool/rules-con1 rwxr-xr-- 41/10 844 Jul 30 08:50 1993 pail/pool/rules-con1.hd rwxr-xr-- 41/10 974 Jul 30 08:50 1993 pail/pool/rules-con1.pail rw-r--r-- 41/10 1284 Jul 30 08:50 1993 pail/pool/stack rw-r--r-- 41/10 2231 Jul 30 08:50 1993 pail/pool/stack-ex rw-r--r-- 41/10 1256 Jul 30 08:50 1993 pail/pool/stack-ex.hd rw-r--r-- 41/10 1166 Jul 30 08:50 1993 pail/pool/stack-ex.pail rw-r--r-- 41/10 755 Jul 30 08:50 1993 pail/pool/stack.hd rw-r--r-- 41/10 974 Jul 30 08:50 1993 pail/pool/stack.pail rw-r--r-- 41/10 1250 Jul 30 08:50 1993 pail/pool/sussman rw-r--r-- 41/10 1244 Jul 30 08:50 1993 pail/pool/sussman.hd rw-r--r-- 41/10 781 Jul 30 08:50 1993 pail/pool/sussman.pail rw-r--r-- 41/10 1239 Jul 30 08:50 1993 pail/pool/atn-examples rw-r--r-- 41/10 81920 Jul 30 08:50 1993 pail/pool/pool-all.tar rw-r--r-- 41/10 1787 Jul 30 08:50 1993 pail/pool/atn-examples.hd rw-r--r-- 41/10 6 Jul 30 08:50 1993 pail/pool/atn-examples.pail rwxr-xr-x 41/10 988 Jul 30 08:50 1993 pail/pool/missionaries rwxr-xr-x 41/10 1002 Jul 30 08:50 1993 pail/pool/missionaries.hd rwxr-xr-x 41/10 2985 Jul 30 08:50 1993 pail/pool/missionaries.pail rw-r--r-- 41/10 494 Jul 30 08:50 1993 pail/pool/bchain.pail rw-r--r-- 41/10 497 Jul 30 08:50 1993 pail/pool/new-atn rw-r--r-- 41/10 673 Jul 30 08:50 1993 pail/pool/new-atn.hd rw-r--r-- 41/10 429 Jul 30 08:50 1993 pail/pool/new-atn.pail rw-r--r-- 41/10 961 Jul 30 08:50 1993 pail/pool/atn-examples1 rw-r--r-- 41/10 1415 Jul 30 08:50 1993 pail/pool/atn-examples1.hd rw-r--r-- 41/10 1751 Jul 30 08:50 1993 pail/pool/atn-examples1.pail rwxr-xr-x 41/10 1251 Jul 30 08:50 1993 pail/pool/hanoi rwxr-xr-x 41/10 1240 Jul 30 08:50 1993 pail/pool/hanoi.hd rwxr-xr-x 41/10 581 Jul 30 08:50 1993 pail/pool/hanoi.pail rw-r--r-- 41/10 497 Jul 30 08:50 1993 pail/pool/atn-eamples2 rw-r--r-- 41/10 434 Jul 30 08:50 1993 pail/pool/atn-eamples2.hd rw-r--r-- 41/10 946 Jul 30 08:50 1993 pail/pool/atn-eamples2.pail rw-r--r-- 41/10 1245 Jul 30 08:50 1993 pail/pool/animals.hd rw-r--r-- 41/10 2321 Jul 30 08:50 1993 pail/pool/animals.pail rw-r--r-- 41/10 1479 Jul 30 08:50 1993 pail/pool/netrooms rw-r--r-- 41/10 545 Jul 30 08:50 1993 pail/pool/netrooms.hd rw-r--r-- 41/10 6 Jul 30 08:50 1993 pail/pool/netrooms.pail rw-r--r-- 41/10 1151 Jul 30 08:50 1993 pail/pool/fourencode rw-r--r-- 41/10 996 Jul 30 08:50 1993 pail/pool/bchain1 rw-r--r-- 41/10 602 Jul 30 08:50 1993 pail/pool/fourencode.hd rw-r--r-- 41/10 6 Jul 30 08:50 1993 pail/pool/fourencode.pail rw-r--r-- 41/10 3331 Jul 30 08:50 1993 pail/pool/wrong-trains-ex.cl rw-r--r-- 41/10 1322 Jul 30 08:50 1993 pail/pool/wrong-trains-ex.hd rw-r--r-- 41/10 2161 Jul 30 08:50 1993 pail/pool/wrong-trains-ex.lisp rw-r--r-- 41/10 3 Jul 30 08:50 1993 pail/pool/wrong-trains-ex.pail rw-r--r-- 41/10 3386 Jul 30 08:50 1993 pail/pool/right-trains-ex.cl rw-r--r-- 41/10 1322 Jul 30 08:50 1993 pail/pool/right-trains-ex.hd rw-r--r-- 41/10 2224 Jul 30 08:50 1993 pail/pool/right-trains-ex.lisp rw-r--r-- 41/10 3 Jul 30 08:50 1993 pail/pool/right-trains-ex.pail rw-r--r-- 41/10 35676 Jul 30 08:50 1993 pail/pool/cliche-1-ex.cl rw-r--r-- 41/10 35676 Jul 30 08:50 1993 pail/pool/cliche-1.cl rw-r--r-- 41/10 36825 Jul 30 08:50 1993 pail/pool/cliche-2-ex.cl rw-r--r-- 41/10 36825 Jul 30 08:50 1993 pail/pool/cliche-2.cl rw-r--r-- 41/10 24420 Jul 30 08:50 1993 pail/pool/cliche-ex.cl rw-r--r-- 41/10 1506 Jul 30 08:50 1993 pail/pool/cliche-ex.hd rw-r--r-- 41/10 21811 Jul 30 08:50 1993 pail/pool/cliche-ex.lisp rw-r--r-- 41/10 2 Jul 30 08:50 1993 pail/pool/cliche-ex.pail rw-r--r-- 41/10 8610 Jul 30 08:50 1993 pail/pool/car-design-ex.cl rw-r--r-- 41/10 1539 Jul 30 08:50 1993 pail/pool/car-design-ex.hd rw-r--r-- 41/10 8110 Jul 30 08:50 1993 pail/pool/car-design-ex.lisp rw-r--r-- 41/10 3 Jul 30 08:50 1993 pail/pool/car-design-ex.pail rw-r--r-- 41/10 3104 Jul 30 08:50 1993 pail/pool/raining-ex.cl rw-r--r-- 41/10 1303 Jul 30 08:50 1993 pail/pool/raining-ex.hd rw-r--r-- 41/10 1313 Jul 30 08:50 1993 pail/pool/raining-ex.lisp rw-r--r-- 41/10 3 Jul 30 08:50 1993 pail/pool/raining-ex.pail rw-r--r-- 41/10 2084 Jul 30 08:50 1993 pail/pool/raining2-ex.cl rw-r--r-- 41/10 3996 Jul 30 08:50 1993 pail/pool/al-ex.cl rw-r--r-- 41/10 1488 Jul 30 08:50 1993 pail/pool/al-ex.hd rw-r--r-- 41/10 1624 Jul 30 08:50 1993 pail/pool/al-ex.lisp rw-r--r-- 41/10 3 Jul 30 08:50 1993 pail/pool/al-ex.pail rw-r--r-- 41/10 2190 Jul 30 08:50 1993 pail/pool/al-example.cl rw-r--r-- 41/10 1281 Jul 30 08:50 1993 pail/pool/airlines rw-r--r-- 41/10 1255 Jul 30 08:50 1993 pail/pool/airlines.hd rw-r--r-- 41/10 508 Jul 30 08:50 1993 pail/pool/aardvark rw-r--r-- 41/10 538 Jul 30 08:50 1993 pail/pool/aardvark.hd rw-r--r-- 41/10 61 Jul 30 08:50 1993 pail/pool/aardvark.pail rw-r--r-- 41/10 1404 Jul 30 08:50 1993 pail/pool/airlines.pail rw-r--r-- 41/10 1281 Jul 30 08:50 1993 pail/pool/airlines2 rw-r--r-- 41/10 1404 Jul 30 08:50 1993 pail/pool/airlines2.pail rw-r--r-- 41/10 1441 Jul 30 08:50 1993 pail/pool/bchain1.hd rw-r--r-- 41/10 487 Jul 30 08:50 1993 pail/pool/bchain1.pail rw-r--r-- 41/10 1255 Jul 30 08:50 1993 pail/pool/airlines2.hd rw-r--r-- 41/10 514 Jul 30 08:50 1993 pail/pool/TEMP rw-r--r-- 41/10 536 Jul 30 08:50 1993 pail/pool/TEMP.hd rw-r--r-- 41/10 378 Jul 30 08:50 1993 pail/pool/TEMP.pail rwxrwxrwx 41/10 0 Jul 30 08:58 1993 pail/rpg/ rw-r--r-- 41/10 2056 Jul 30 08:50 1993 pail/rpg/boole.cl rw-r--r-- 41/10 4225 Jul 30 08:50 1993 pail/rpg/rpg-ascii-dialog.cl rw-r--r-- 41/10 3964 Jul 30 08:50 1993 pail/rpg/rpg-da1.cl rw-r--r-- 41/10 4597 Jul 30 08:50 1993 pail/rpg/rpg-demo.cl rw-r--r-- 41/10 36924 Jul 30 08:50 1993 pail/rpg/rpg-demolog.cl rw-r--r-- 41/10 20227 Jul 30 08:50 1993 pail/rpg/rpg-dialog.cl rw-r--r-- 41/10 1425 Jul 30 08:50 1993 pail/rpg/rpg-env.cl rw-r--r-- 41/10 4566 Jul 30 08:50 1993 pail/rpg/rpg-ex1.cl rw-r--r-- 41/10 1248 Jul 30 08:50 1993 pail/rpg/rpg-ex2.cl rw-r--r-- 41/10 4141 Jul 30 08:50 1993 pail/rpg/rpg-ex3.cl rw-r--r-- 41/10 17113 Jul 30 08:50 1993 pail/rpg/rpg-input.cl rw-r--r-- 41/10 12133 Jul 30 08:50 1993 pail/rpg/rpg-lib.cl rw-r--r-- 41/10 4135 Jul 30 08:50 1993 pail/rpg/rpg-make.cl rw-r--r-- 41/10 29943 Jul 30 08:50 1993 pail/rpg/rpg-stat.cl rw-r--r-- 41/10 13777 Jul 30 08:50 1993 pail/rpg/rpg-table-ed.cl rw-r--r-- 41/10 2118 Jul 30 08:50 1993 pail/rpg/sysdoc.cl rw-r--r-- 41/10 13858 Jul 30 08:50 1993 pail/rpg/table-ed.cl rw-r--r-- 41/10 11571 Jul 30 08:50 1993 pail/rpg/ut-rand.cl rw-r--r-- 41/10 106 Jul 30 08:50 1993 pail/rpg/demo1-desc.asc rw-r--r-- 41/10 4150 Jul 30 08:50 1993 pail/rpg/rpg-desc.asc rw-r--r-- 41/10 1524 Jul 30 08:50 1993 pail/rpg/sysdoc.asc rw-r--r-- 41/10 327 Jul 30 08:50 1993 pail/rpg/tool-desc.asc rw-r--r-- 41/10 729 Jul 30 08:50 1993 pail/rpg/rpg-desc.tec rw-r--r-- 41/10 10231 Jul 30 08:50 1993 pail/rpg/rpg-desc.gen rw-r--r-- 41/10 1842 Jul 30 08:50 1993 pail/rpg/rpg-dend.gen rw-r--r-- 41/10 444 Jul 30 08:50 1993 pail/rpg/rpg-dend.tec rw-r--r-- 41/10 3787 Jul 30 08:50 1993 pail/rpg/rpg-tool.gen rw-r--r-- 41/10 4467 Jul 30 08:50 1993 pail/rpg/rpg-tool.tec rw-r--r-- 41/10 511 Jul 30 08:50 1993 pail/rpg/mushroom-ex rw-r--r-- 41/10 4157 Jul 30 08:50 1993 pail/rpg/rpg-browser.cl rw-r--r-- 41/10 32859 Jul 30 08:50 1993 pail/rpg/rpg-cluster.cl rw-r--r-- 41/10 34293 Jul 30 08:50 1993 pail/rpg/rpg-triad.cl rw-r--r-- 41/10 42 Jul 30 08:50 1993 pail/rpg/seed.rnd rw-r--r-- 41/10 419 Jul 30 08:50 1993 pail/rpg/mushroom-ex.hd rw-r--r-- 41/10 129 Jul 30 08:50 1993 pail/rpg/mushroom-ex.pail rw-r--r-- 41/10 5143 Jul 30 08:50 1993 pail/rpg/mushrooms1 rw-r--r-- 41/10 872 Jul 30 08:50 1993 pail/rpg/mushrooms1.hd rw-r--r-- 41/10 977 Jul 30 08:50 1993 pail/rpg/mushrooms1.pail rw-r--r-- 41/10 34293 Jul 30 08:50 1993 pail/rpg/rpg-triad.cl.old rw-r--r-- 41/10 13 Jul 30 08:50 1993 pail/rpg/PAOLO_IS_WORKING_ON_THIS rw-r--r-- 41/10 31567 Jul 30 08:50 1993 pail/rpg/rpg-triad-paolo.cl rw-r--r-- 41/10 3638 Jul 30 08:50 1993 pail/rpg/rpg-triad-classes.cl rwxrwxrwx 41/10 0 Jul 30 08:58 1993 pail/rules/ rw-r--r-- 41/10 5431 Jul 30 08:50 1993 pail/rules/rules-dialog.cl rw-r--r-- 41/10 2085 Jul 30 08:50 1993 pail/rules/rules-make.cl rw-r--r-- 41/10 1284 Jul 30 08:50 1993 pail/rules/stack rw-r--r-- 41/10 1555 Jul 30 08:50 1993 pail/rules/airlines rw-r--r-- 41/10 20647 Jul 30 08:50 1993 pail/rules/forward-rules-dialog.cl rw-r--r-- 41/10 1494 Jul 30 08:50 1993 pail/rules/airlines.hd rw-r--r-- 41/10 1825 Jul 30 08:50 1993 pail/rules/airlines.pail rw-r--r-- 41/10 755 Jul 30 08:50 1993 pail/rules/stack.hd rw-r--r-- 41/10 974 Jul 30 08:50 1993 pail/rules/stack.pail rw-r--r-- 41/10 769 Jul 30 08:50 1993 pail/rules/suicide rw-r--r-- 41/10 774 Jul 30 08:50 1993 pail/rules/suicide.hd rw-r--r-- 41/10 680 Jul 30 08:50 1993 pail/rules/suicide.pail rw-r--r-- 41/10 748 Jul 30 08:50 1993 pail/rules/animals rw-r--r-- 41/10 767 Jul 30 08:50 1993 pail/rules/animals.hd rw-r--r-- 41/10 2773 Jul 30 08:50 1993 pail/rules/animals.pail rw-r--r-- 41/10 5580 Jul 30 08:50 1993 pail/rules/kidnap rw-r--r-- 41/10 1483 Jul 30 08:50 1993 pail/rules/kidnap.hd rw-r--r-- 41/10 6299 Jul 30 08:50 1993 pail/rules/kidnap.pail rw-r--r-- 41/10 358 Jul 30 08:50 1993 pail/rules/rules-doc.tec rwxrwxrwx 41/10 0 Jul 30 08:58 1993 pail/tms/ rw-r--r-- 41/10 5225 Jul 30 08:50 1993 pail/tms/tms-dialog.cl rw-r--r-- 41/10 2030 Jul 30 08:50 1993 pail/tms/tms-make.cl rw-r--r-- 41/10 465 Jul 30 08:50 1993 pail/tms/tms-doc.tec rw-r--r-- 41/10 4044 Jul 30 08:50 1993 pail/tms/tms-doc.gen rwxr-xr-x 41/10 0 Jul 30 08:50 1993 pail/data-files/ rwxr-xr-x 41/10 0 Jul 30 08:50 1993 pail/data-files/atn/ rwxrwxrwx 41/10 0 Jul 30 08:50 1993 pail/data-files/atn/lexicae/ rw-r--r-- 41/10 879 Jul 30 08:50 1993 pail/data-files/atn/lexicae/lex-0 rw-r--r-- 41/10 922 Jul 30 08:50 1993 pail/data-files/atn/lexicae/lex-1 rw-r--r-- 41/10 2491 Jul 30 08:50 1993 pail/data-files/atn/lexicae/lex-2 rw-r--r-- 41/10 1538 Jul 30 08:50 1993 pail/data-files/atn/lexicae/lex-3 rw-r--r-- 41/10 980 Jul 30 08:50 1993 pail/data-files/atn/lexicae/lex-number rwxrwxrwx 41/10 0 Jul 30 08:50 1993 pail/data-files/atn/networks/ rw-r--r-- 41/10 938 Jul 30 08:50 1993 pail/data-files/atn/networks/net-0 rw-r--r-- 41/10 1095 Jul 30 08:50 1993 pail/data-files/atn/networks/net-1 rw-r--r-- 41/10 1438 Jul 30 08:50 1993 pail/data-files/atn/networks/net-2 rw-r--r-- 41/10 1117 Jul 30 08:50 1993 pail/data-files/atn/networks/net-3 rw-r--r-- 41/10 1568 Jul 30 08:50 1993 pail/data-files/atn/networks/net-4 rw-r--r-- 41/10 4494 Jul 30 08:50 1993 pail/data-files/atn/networks/net-5 rw-r--r-- 41/10 6336 Jul 30 08:50 1993 pail/data-files/atn/networks/net-6 rw-r--r-- 41/10 1149 Jul 30 08:50 1993 pail/data-files/atn/networks/net-number rwxr-xr-x 41/10 0 Jul 30 08:50 1993 pail/data-files/atp/ rwxrwxrwx 41/10 0 Jul 30 08:50 1993 pail/data-files/atp/examples/ rwxr-xr-x 41/10 1029 Jul 30 08:50 1993 pail/data-files/atp/examples/Logics.th rwxr-xr-x 41/10 1855 Jul 30 08:50 1993 pail/data-files/atp/examples/Cook4.th rwxr-xr-x 41/10 156 Jul 30 08:50 1993 pail/data-files/atp/examples/Untitled.th rwxr-xr-x 41/10 2816 Jul 30 08:50 1993 pail/data-files/atp/examples/Colours.th rwxr-xr-x 41/10 2942 Jul 30 08:50 1993 pail/data-files/atp/examples/DCG3.th rwxr-xr-x 41/10 1256 Jul 30 08:50 1993 pail/data-files/atp/examples/Math01.th rwxr-xr-x 41/10 1941 Jul 30 08:50 1993 pail/data-files/atp/examples/Div6.th rwxr-xr-x 41/10 1944 Jul 30 08:50 1993 pail/data-files/atp/examples/Equation.th rwxr-xr-x 41/10 1379 Jul 30 08:50 1993 pail/data-files/atp/examples/Relations.th rwxr-xr-x 41/10 2453 Jul 30 08:50 1993 pail/data-files/atp/examples/Induction1.th rwxr-xr-x 41/10 1326 Jul 30 08:50 1993 pail/data-files/atp/examples/Math02.th rwxr-xr-x 41/10 2773 Jul 30 08:50 1993 pail/data-files/atp/examples/Induction2.th rwxr-xr-x 41/10 2079 Jul 30 08:50 1993 pail/data-files/atp/examples/Truth_Liars.th rwxr-xr-x 41/10 3396 Jul 30 08:50 1993 pail/data-files/atp/examples/Lion.th rwxr-xr-x 41/10 1737 Jul 30 08:50 1993 pail/data-files/atp/examples/XOR.th rwxr-xr-x 41/10 4159 Jul 30 08:50 1993 pail/data-files/atp/examples/Waterpot.th rwxr-xr-x 41/10 5159 Jul 30 08:50 1993 pail/data-files/atp/examples/Wisest.th rwxr-xr-x 41/10 1324 Jul 30 08:50 1993 pail/data-files/atp/examples/Math03.th rwxr-xr-x 41/10 2811 Jul 30 08:50 1993 pail/data-files/atp/examples/RevRev.th rwxr-xr-x 41/10 1223 Jul 30 08:50 1993 pail/data-files/atp/examples/Math04.th rwxr-xr-x 41/10 1142 Jul 30 08:50 1993 pail/data-files/atp/examples/Math05.th rwxr-xr-x 41/10 1523 Jul 30 08:50 1993 pail/data-files/atp/examples/Safe-to-Stack.th rwxr-xr-x 41/10 2172 Jul 30 08:50 1993 pail/data-files/atp/examples/DCG.th rwxr-xr-x 41/10 1347 Jul 30 08:50 1993 pail/data-files/atp/examples/Math06.th rwxr-xr-x 41/10 1332 Jul 30 08:50 1993 pail/data-files/atp/examples/Math07.th rwxr-xr-x 41/10 1316 Jul 30 08:50 1993 pail/data-files/atp/examples/Math08.th rwxr-xr-x 41/10 1243 Jul 30 08:50 1993 pail/data-files/atp/examples/Math09.th rwxr-xr-x 41/10 3719 Jul 30 08:50 1993 pail/data-files/atp/examples/Mission.th rwxr-xr-x 41/10 5286 Jul 30 08:50 1993 pail/data-files/atp/examples/Analogy.th rwxr-xr-x 41/10 2252 Jul 30 08:50 1993 pail/data-files/atp/examples/Travel.th rwxr-xr-x 41/10 1967 Jul 30 08:50 1993 pail/data-files/atp/examples/Maze.th rwxr-xr-x 41/10 2908 Jul 30 08:50 1993 pail/data-files/atp/examples/Blockworld.th rwxr-xr-x 41/10 2150 Jul 30 08:50 1993 pail/data-files/atp/examples/DCG1.th rwxr-xr-x 41/10 4009 Jul 30 08:50 1993 pail/data-files/atp/examples/Shubert.th rwxr-xr-x 41/10 1680 Jul 30 08:50 1993 pail/data-files/atp/examples/Primes.th rwxr-xr-x 41/10 2139 Jul 30 08:50 1993 pail/data-files/atp/examples/DCG2.th rwxr-xr-x 41/10 2552 Jul 30 08:50 1993 pail/data-files/atp/examples/DCG4.th rwxr-xr-x 41/10 2179 Jul 30 08:50 1993 pail/data-files/atp/examples/Knuth-Bendix-1.th rwxr-xr-x 41/10 2025 Jul 30 08:50 1993 pail/data-files/atp/examples/Knuth-Bendix.th rwxr-xr-x 41/10 2080 Jul 30 08:50 1993 pail/data-files/atp/examples/GramRew.th rwxr-xr-x 41/10 3859 Jul 30 08:50 1993 pail/data-files/atp/examples/Murder.th rwxr-xr-x 41/10 1506 Jul 30 08:50 1993 pail/data-files/atp/examples/System.th rwxr-xr-x 41/10 1537 Jul 30 08:50 1993 pail/data-files/atp/examples/Math24.th rwxr-xr-x 41/10 1118 Jul 30 08:50 1993 pail/data-files/atp/examples/Math10.th rwxr-xr-x 41/10 1469 Jul 30 08:50 1993 pail/data-files/atp/examples/Math16.th rwxr-xr-x 41/10 1393 Jul 30 08:50 1993 pail/data-files/atp/examples/Math11.th rwxr-xr-x 41/10 1352 Jul 30 08:50 1993 pail/data-files/atp/examples/Math12.th rwxr-xr-x 41/10 1184 Jul 30 08:50 1993 pail/data-files/atp/examples/Math13.th rwxr-xr-x 41/10 1202 Jul 30 08:50 1993 pail/data-files/atp/examples/Math14.th rwxr-xr-x 41/10 1453 Jul 30 08:50 1993 pail/data-files/atp/examples/Math15.th rwxr-xr-x 41/10 1528 Jul 30 08:50 1993 pail/data-files/atp/examples/Math17.th rwxr-xr-x 41/10 1216 Jul 30 08:50 1993 pail/data-files/atp/examples/Math18.th rwxr-xr-x 41/10 1387 Jul 30 08:50 1993 pail/data-files/atp/examples/Math19.th rwxr-xr-x 41/10 1466 Jul 30 08:50 1993 pail/data-files/atp/examples/Math20.th rwxr-xr-x 41/10 1308 Jul 30 08:50 1993 pail/data-files/atp/examples/Math21.th rwxr-xr-x 41/10 1221 Jul 30 08:50 1993 pail/data-files/atp/examples/Math22.th rwxr-xr-x 41/10 1327 Jul 30 08:50 1993 pail/data-files/atp/examples/Math25.th rwxr-xr-x 41/10 1292 Jul 30 08:50 1993 pail/data-files/atp/examples/Math23.th rw-r--r-- 41/10 446 Jul 30 08:50 1993 pail/data-files/atp/examples/zATNOUT.th rwxr-xr-x 41/10 2290 Jul 30 08:50 1993 pail/data-files/atp/examples/Agatha.th rwxr-xr-x 41/10 347 Jul 30 08:50 1993 pail/data-files/atp/examples/AtnOut.th rwxr-xr-x 41/10 2954 Jul 30 08:50 1993 pail/data-files/atp/examples/The_Adder.th rwxr-xr-x 41/10 147 Jul 30 08:50 1993 pail/data-files/atp/examples/Change1 rwxr-xr-x 41/10 147 Jul 30 08:50 1993 pail/data-files/atp/examples/Change2 rwxrwxrwx 41/10 0 Jul 30 08:50 1993 pail/data-files/atp/tutorial/ rw-r--r-- 41/10 931 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-16.th rw-r--r-- 41/10 491 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-22.th rw-r--r-- 41/10 845 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-07.th rw-r--r-- 41/10 1006 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-08.th rw-r--r-- 41/10 878 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-09.th rw-r--r-- 41/10 321 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-05.th rw-r--r-- 41/10 390 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-06.th rw-r--r-- 41/10 554 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-10.th rw-r--r-- 41/10 2142 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-11.th rw-r--r-- 41/10 814 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-12.th rw-r--r-- 41/10 774 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-13.th rw-r--r-- 41/10 2321 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-36.th rw-r--r-- 41/10 766 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-14.th rw-r--r-- 41/10 1018 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-15.th rw-r--r-- 41/10 661 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-17.th rw-r--r-- 41/10 571 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-18.th rw-r--r-- 41/10 949 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-19.th rw-r--r-- 41/10 901 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-21.th rw-r--r-- 41/10 1222 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-23.th rw-r--r-- 41/10 977 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-24.th rw-r--r-- 41/10 1996 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-26.th rw-r--r-- 41/10 504 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-27.th rw-r--r-- 41/10 656 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-28.th rw-r--r-- 41/10 2663 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-29.th rw-r--r-- 41/10 1188 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-30.th rw-r--r-- 41/10 1095 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-31.th rw-r--r-- 41/10 701 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-32.th rw-r--r-- 41/10 576 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-33.th rw-r--r-- 41/10 546 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-34.th rw-r--r-- 41/10 1264 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-35.th rw-r--r-- 41/10 873 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-37.th rw-r--r-- 41/10 1075 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-39.th rw-r--r-- 41/10 705 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-01.th rw-r--r-- 41/10 509 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-02.th rw-r--r-- 41/10 831 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-03.th rw-r--r-- 41/10 506 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-04.th rw-r--r-- 41/10 421 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-38.th rw-r--r-- 41/10 369 Jul 30 08:50 1993 pail/data-files/atp/tutorial/Tutor-25.th rwxrwxrwx 41/10 0 Jul 30 08:50 1993 pail/data-files/atp/theorems/ rwxr-xr-x 41/10 0 Jul 30 08:50 1993 pail/data-files/cky/ rwxrwxrwx 41/10 0 Jul 30 08:50 1993 pail/data-files/cky/lexicon/ rw-r--r-- 41/10 54 Jul 30 08:50 1993 pail/data-files/cky/lexicon/l0.lex rw-r--r-- 41/10 459 Jul 30 08:50 1993 pail/data-files/cky/lexicon/l1.lex rw-r--r-- 41/10 427 Jul 30 08:50 1993 pail/data-files/cky/lexicon/la1.lex rw-r--r-- 41/10 362 Jul 30 08:50 1993 pail/data-files/cky/lexicon/lexdot.lex rw-r--r-- 41/10 274 Jul 30 08:50 1993 pail/data-files/cky/lexicon/number-lexicon.lex rw-r--r-- 41/10 31 Jul 30 08:50 1993 pail/data-files/cky/lexicon/my-lex.lex rwxrwxrwx 41/10 0 Jul 30 08:50 1993 pail/data-files/cky/grammar/ rw-r--r-- 41/10 867 Jul 30 08:50 1993 pail/data-files/cky/grammar/g0.cgr rw-r--r-- 41/10 1024 Jul 30 08:50 1993 pail/data-files/cky/grammar/g1.cgr rw-r--r-- 41/10 1042 Jul 30 08:50 1993 pail/data-files/cky/grammar/g3.cgr rw-r--r-- 41/10 758 Jul 30 08:50 1993 pail/data-files/cky/grammar/g4.cgr rw-r--r-- 41/10 967 Jul 30 08:50 1993 pail/data-files/cky/grammar/gramdot.cgr rw-r--r-- 41/10 908 Jul 30 08:50 1993 pail/data-files/cky/grammar/number-grammar.cgr rwxr-xr-x 41/10 0 Jul 30 08:50 1993 pail/data-files/csp/ rw-r--r-- 41/10 860 Jul 30 08:50 1993 pail/data-files/csp/8queens.csp rw-r--r-- 41/10 513 Jul 30 08:50 1993 pail/data-files/csp/School.csp rw-r--r-- 41/10 2498 Jul 30 08:50 1993 pail/data-files/csp/Template.csp rw-r--r-- 41/10 0 Jul 30 08:50 1993 pail/data-files/csp/Untitled.csp rw-r--r-- 41/10 217 Jul 30 08:50 1993 pail/data-files/csp/bug.csp rw-r--r-- 41/10 1664 Jul 30 08:50 1993 pail/data-files/csp/color.csp rw-r--r-- 41/10 2679 Jul 30 08:50 1993 pail/data-files/csp/crossw1.csp rw-r--r-- 41/10 3088 Jul 30 08:50 1993 pail/data-files/csp/crossw2.csp rw-r--r-- 41/10 5456 Jul 30 08:50 1993 pail/data-files/csp/crossw3.csp rw-r--r-- 41/10 1479 Jul 30 08:50 1993 pail/data-files/csp/puzzle.csp rw-r--r-- 41/10 1457 Jul 30 08:50 1993 pail/data-files/csp/puzzle1.csp rw-r--r-- 41/10 2156 Jul 30 08:50 1993 pail/data-files/csp/waltz1.csp rw-r--r-- 41/10 2059 Jul 30 08:50 1993 pail/data-files/csp/waltz2.csp rw-r--r-- 41/10 2347 Jul 30 08:50 1993 pail/data-files/csp/waltz3.csp rwxr-xr-x 41/10 0 Jul 30 08:50 1993 pail/data-files/ebg/ rw-r--r-- 41/10 633 Jul 30 08:50 1993 pail/data-files/ebg/stackebg.pail rw-r--r-- 41/10 800 Jul 30 08:50 1993 pail/data-files/ebg/suicide.pail rw-r--r-- 41/10 770 Jul 30 08:50 1993 pail/data-files/ebg/stackebg.hd rw-r--r-- 41/10 1006 Jul 30 08:50 1993 pail/data-files/ebg/suicide.hd rw-r--r-- 41/10 2816 Jul 30 08:50 1993 pail/data-files/ebg/stackebg rw-r--r-- 41/10 2863 Jul 30 08:50 1993 pail/data-files/ebg/suicide rwxr-xr-x 41/10 0 Jul 30 08:50 1993 pail/data-files/forward-rules/ rwxr-xr-x 41/10 1370 Jul 30 08:50 1993 pail/data-files/forward-rules/forward-rules-con1 rwxr-xr-x 41/10 844 Jul 30 08:50 1993 pail/data-files/forward-rules/forward-rules-con1.hd rwxr-xr-x 41/10 974 Jul 30 08:50 1993 pail/data-files/forward-rules/forward-rules-con1.pail rwxr-xr-x 41/10 0 Jul 30 08:50 1993 pail/data-files/id3/ rw-r--r-- 41/10 958 Jul 30 08:50 1993 pail/data-files/id3/id3-examples.hd rw-r--r-- 41/10 1003 Jul 30 08:50 1993 pail/data-files/id3/id3test.hd rw-r--r-- 41/10 533 Jul 30 08:50 1993 pail/data-files/id3/iris.hd rw-r--r-- 41/10 679 Jul 30 08:50 1993 pail/data-files/id3/pippppo.hd rw-r--r-- 41/10 6 Jul 30 08:50 1993 pail/data-files/id3/id3-examples.pail rw-r--r-- 41/10 1929 Jul 30 08:50 1993 pail/data-files/id3/id3test.pail rw-r--r-- 41/10 4954 Jul 30 08:50 1993 pail/data-files/id3/iris.pail rw-r--r-- 41/10 288 Jul 30 08:50 1993 pail/data-files/id3/pippppo.pail rw-r--r-- 41/10 4300 Jul 30 08:50 1993 pail/data-files/id3/id3-examples rw-r--r-- 41/10 6625 Jul 30 08:50 1993 pail/data-files/id3/id3test rw-r--r-- 41/10 511 Jul 30 08:50 1993 pail/data-files/id3/iris rw-r--r-- 41/10 511 Jul 30 08:50 1993 pail/data-files/id3/pippppo rwxr-xr-x 41/10 0 Jul 30 08:50 1993 pail/data-files/jtms/ rw-r--r-- 41/10 1347 Jul 30 08:50 1993 pail/data-files/jtms/go-outdoors-ex.hd rw-r--r-- 41/10 1485 Jul 30 08:50 1993 pail/data-files/jtms/new-ex.hd rw-r--r-- 41/10 1302 Jul 30 08:50 1993 pail/data-files/jtms/raining-ex.hd rw-r--r-- 41/10 1349 Jul 30 08:50 1993 pail/data-files/jtms/safe-to-stack-ex.hd rw-r--r-- 41/10 1339 Jul 30 08:50 1993 pail/data-files/jtms/swimming-ex.hd rw-r--r-- 41/10 3 Jul 30 08:50 1993 pail/data-files/jtms/go-outdoors-ex.pail rw-r--r-- 41/10 3 Jul 30 08:50 1993 pail/data-files/jtms/new-ex.pail rw-r--r-- 41/10 3 Jul 30 08:50 1993 pail/data-files/jtms/raining-ex.pail rw-r--r-- 41/10 3 Jul 30 08:50 1993 pail/data-files/jtms/safe-to-stack-ex.pail rw-r--r-- 41/10 2 Jul 30 08:50 1993 pail/data-files/jtms/swimming-ex.pail rwxr-xr-x 41/10 2728 Jul 30 08:50 1993 pail/data-files/jtms/go-outdoors-ex rw-r--r-- 41/10 1439 Jul 30 08:50 1993 pail/data-files/jtms/new-ex rwxr-xr-x 41/10 2064 Jul 30 08:50 1993 pail/data-files/jtms/raining-ex rwxr-xr-x 41/10 2574 Jul 30 08:50 1993 pail/data-files/jtms/safe-to-stack-ex rw-r--r-- 41/10 2069 Jul 30 08:50 1993 pail/data-files/jtms/swimming-ex rwxr-xr-x 41/10 0 Jul 30 08:50 1993 pail/data-files/nmjtms/ rw-r--r-- 41/10 3 Jul 30 08:50 1993 pail/data-files/nmjtms/car-design-ex.pail rw-r--r-- 41/10 3 Jul 30 08:50 1993 pail/data-files/nmjtms/new-ex.pail rw-r--r-- 41/10 844 Jul 30 08:50 1993 pail/data-files/nmjtms/prova.pail rw-r--r-- 41/10 3 Jul 30 08:50 1993 pail/data-files/nmjtms/raining-ex.pail rw-r--r-- 41/10 3 Jul 30 08:50 1993 pail/data-files/nmjtms/right-trains-ex.pail rw-r--r-- 41/10 3 Jul 30 08:50 1993 pail/data-files/nmjtms/swimming-ex.pail rw-r--r-- 41/10 3 Jul 30 08:50 1993 pail/data-files/nmjtms/wrong-trains-ex.pail rw-r--r-- 41/10 1539 Jul 30 08:50 1993 pail/data-files/nmjtms/car-design-ex.hd rw-r--r-- 41/10 1485 Jul 30 08:50 1993 pail/data-files/nmjtms/new-ex.hd rw-r--r-- 41/10 2204 Jul 30 08:50 1993 pail/data-files/nmjtms/prova.hd rw-r--r-- 41/10 1599 Jul 30 08:50 1993 pail/data-files/nmjtms/raining-ex.hd rw-r--r-- 41/10 1319 Jul 30 08:50 1993 pail/data-files/nmjtms/right-trains-ex.hd rw-r--r-- 41/10 1482 Jul 30 08:50 1993 pail/data-files/nmjtms/swimming-ex.hd rw-r--r-- 41/10 1319 Jul 30 08:50 1993 pail/data-files/nmjtms/wrong-trains-ex.hd rwxr-xr-x 41/10 8872 Jul 30 08:50 1993 pail/data-files/nmjtms/car-design-ex rw-r--r-- 41/10 1448 Jul 30 08:50 1993 pail/data-files/nmjtms/new-ex rw-r--r-- 41/10 5747 Jul 30 08:50 1993 pail/data-files/nmjtms/prova rw-r--r-- 41/10 2121 Jul 30 08:50 1993 pail/data-files/nmjtms/raining-ex rwxr-xr-x 41/10 3052 Jul 30 08:50 1993 pail/data-files/nmjtms/right-trains-ex rw-r--r-- 41/10 1826 Jul 30 08:50 1993 pail/data-files/nmjtms/swimming-ex rw-r--r-- 41/10 3229 Jul 30 08:50 1993 pail/data-files/nmjtms/wrong-trains-ex rwxr-xr-x 41/10 0 Jul 30 08:50 1993 pail/data-files/np/ rw-r--r-- 41/10 602 Jul 30 08:50 1993 pail/data-files/np/fourencode.hd rw-r--r-- 41/10 545 Jul 30 08:50 1993 pail/data-files/np/netrooms.hd rw-r--r-- 41/10 541 Jul 30 08:50 1993 pail/data-files/np/one-bit-xor.hd rw-r--r-- 41/10 6 Jul 30 08:50 1993 pail/data-files/np/fourencode.pail rw-r--r-- 41/10 6 Jul 30 08:50 1993 pail/data-files/np/netrooms.pail rw-r--r-- 41/10 6 Jul 30 08:50 1993 pail/data-files/np/one-bit-xor.pail rw-r--r-- 41/10 1151 Jul 30 08:50 1993 pail/data-files/np/fourencode rw-r--r-- 41/10 1479 Jul 30 08:50 1993 pail/data-files/np/netrooms rw-r--r-- 41/10 933 Jul 30 08:50 1993 pail/data-files/np/one-bit-xor rwxr-xr-x 41/10 0 Jul 30 08:50 1993 pail/data-files/rpg/ rw-r--r-- 41/10 419 Jul 30 08:50 1993 pail/data-files/rpg/mushroom-ex.hd rw-r--r-- 41/10 872 Jul 30 08:50 1993 pail/data-files/rpg/mushrooms1.hd rw-r--r-- 41/10 129 Jul 30 08:50 1993 pail/data-files/rpg/mushroom-ex.pail rw-r--r-- 41/10 977 Jul 30 08:50 1993 pail/data-files/rpg/mushrooms1.pail rw-r--r-- 41/10 511 Jul 30 08:50 1993 pail/data-files/rpg/mushroom-ex rwxr-xr-x 41/10 0 Jul 30 08:50 1993 pail/data-files/rules/ rw-r--r-- 41/10 1494 Jul 30 08:50 1993 pail/data-files/rules/airlines.hd rw-r--r-- 41/10 767 Jul 30 08:50 1993 pail/data-files/rules/animals.hd rw-r--r-- 41/10 1483 Jul 30 08:50 1993 pail/data-files/rules/kidnap.hd rw-r--r-- 41/10 755 Jul 30 08:50 1993 pail/data-files/rules/stack.hd rw-r--r-- 41/10 774 Jul 30 08:50 1993 pail/data-files/rules/suicide.hd rw-r--r-- 41/10 1825 Jul 30 08:50 1993 pail/data-files/rules/airlines.pail rw-r--r-- 41/10 2773 Jul 30 08:50 1993 pail/data-files/rules/animals.pail rw-r--r-- 41/10 6299 Jul 30 08:50 1993 pail/data-files/rules/kidnap.pail rw-r--r-- 41/10 974 Jul 30 08:50 1993 pail/data-files/rules/stack.pail rw-r--r-- 41/10 680 Jul 30 08:50 1993 pail/data-files/rules/suicide.pail rw-r--r-- 41/10 1555 Jul 30 08:50 1993 pail/data-files/rules/airlines rw-r--r-- 41/10 748 Jul 30 08:50 1993 pail/data-files/rules/animals rw-r--r-- 41/10 5580 Jul 30 08:50 1993 pail/data-files/rules/kidnap rw-r--r-- 41/10 1284 Jul 30 08:50 1993 pail/data-files/rules/stack rw-r--r-- 41/10 769 Jul 30 08:50 1993 pail/data-files/rules/suicide rwxr-xr-x 41/10 0 Jul 30 08:50 1993 pail/data-files/planning/ rwxr-xr-- 41/10 1240 Jul 30 08:50 1993 pail/data-files/planning/hanoi.hd rw-r--r-- 41/10 1942 Jul 30 08:50 1993 pail/data-files/planning/mazes.hd rwxr-xr-- 41/10 1003 Jul 30 08:50 1993 pail/data-files/planning/missionaries.hd rw-r--r-- 41/10 1240 Jul 30 08:50 1993 pail/data-files/planning/optest.hd rw-r--r-- 41/10 1290 Jul 30 08:50 1993 pail/data-files/planning/robots.hd rw-r--r-- 41/10 1244 Jul 30 08:50 1993 pail/data-files/planning/sussman.hd rwxr-xr-- 41/10 649 Jul 30 08:50 1993 pail/data-files/planning/hanoi.pail rw-r--r-- 41/10 3274 Jul 30 08:50 1993 pail/data-files/planning/mazes.pail rwxr-xr-- 41/10 3609 Jul 30 08:50 1993 pail/data-files/planning/missionaries.pail rw-r--r-- 41/10 711 Jul 30 08:50 1993 pail/data-files/planning/optest.pail rw-r--r-- 41/10 1443 Jul 30 08:50 1993 pail/data-files/planning/robots.pail rw-r--r-- 41/10 781 Jul 30 08:50 1993 pail/data-files/planning/sussman.pail rwxr-xr-- 41/10 1247 Jul 30 08:50 1993 pail/data-files/planning/hanoi rw-r--r-- 41/10 2094 Jul 30 08:50 1993 pail/data-files/planning/mazes rwxr-xr-- 41/10 991 Jul 30 08:50 1993 pail/data-files/planning/missionaries rw-r--r-- 41/10 1453 Jul 30 08:50 1993 pail/data-files/planning/optest rw-r--r-- 41/10 1955 Jul 30 08:50 1993 pail/data-files/planning/robots rw-r--r-- 41/10 1250 Jul 30 08:50 1993 pail/data-files/planning/sussman rwxrwxrwx 41/10 90 Jul 30 08:57 1993 pail/clean-up