rw-rw-r-- 110/24   2970 Jan 24 09:31 1994 ./README
rwxrwxr-x 110/24      0 Jan 24 09:23 1994 ./doc/
rw-rw-r-- 110/24    277 Jan 24 09:32 1994 ./doc/README
rw-r--r-- 110/100 686664 Jan 24 09:32 1994 ./doc/book.dvi
rw-rw-r-- 110/100  64696 Jan 24 09:32 1994 ./doc/ground.dvi
rw-rw---- 110/100  41600 Jan 24 09:32 1994 ./doc/manual.dvi
rw-r--r-- 110/24   2259 Jan 24 09:31 1994 ./incompatibilities
rwxrwxrwx 110/24      0 Jan 24 09:23 1994 ./lib/
rw-rw-r-- 110/100  15772 Jan 24 09:32 1994 ./lib/Floats.exp
rw-rw-r-- 110/100   1834 Jan 24 09:32 1994 ./lib/Flocks.exp
rw-rw-r-- 110/100   1212 Jan 24 09:32 1994 ./lib/FlocksIO.exp
rw-rw-r-- 110/100   4197 Jan 24 09:32 1994 ./lib/IO.exp
rw-rw-r-- 110/100   5032 Jan 24 09:32 1994 ./lib/Integers.exp
rw-rw-r-- 110/100   4668 Jan 24 09:32 1994 ./lib/Lists.exp
rw-rw-r-- 110/100   1850 Jan 24 09:32 1994 ./lib/Numbers.exp
rw-rw-r-- 110/100   3483 Jan 24 09:32 1994 ./lib/NumbersIO.exp
rw-rw-r-- 110/100  43997 Jan 24 09:32 1994 ./lib/Programs.exp
rw-rw-r-- 110/100   1343 Jan 24 09:32 1994 ./lib/ProgramsIO.exp
rw-rw-r-- 110/100   3511 Jan 24 09:32 1994 ./lib/Rationals.exp
rw-rw-r-- 110/100  11815 Jan 24 09:32 1994 ./lib/Scripts.exp
rw-rw-r-- 110/100    875 Jan 24 09:32 1994 ./lib/ScriptsIO.exp
rw-rw-r-- 110/100   1990 Jan 24 09:32 1994 ./lib/Sets.exp
rw-rw-r-- 110/100   2667 Jan 24 09:32 1994 ./lib/Strings.exp
rw-rw-r-- 110/100  30298 Jan 24 09:32 1994 ./lib/Syntax.exp
rw-rw-r-- 110/100   4743 Jan 24 09:32 1994 ./lib/Tables.exp
rw-rw-r-- 110/100  19285 Jan 24 09:32 1994 ./lib/Theories.exp
rw-rw-r-- 110/100   1292 Jan 24 09:32 1994 ./lib/TheoriesIO.exp
rw-rw-r-- 110/100   1128 Jan 24 09:32 1994 ./lib/Units.exp
rw-r--r-- 110/24   4421 Jan 24 09:32 1994 ./overview
rwxrwxr-x 110/24      0 Jun 19 16:36 1993 ./programs/
rwxrwxr-x 110/24      0 Jan 24 09:23 1994 ./programs/demo/
rw-r--r-- 110/100   2048 Jan 24 09:31 1994 ./programs/demo/tableau-queries
rw-r--r-- 110/100      0 Jan 24 09:31 1994 ./programs/demo/theory1
rw-rw-r-- 110/100    107 Jan 24 09:31 1994 ./programs/demo/Abduction.exp
rw-rw-r-- 110/100   2060 Jan 24 09:31 1994 ./programs/demo/README
rw-rw-r-- 110/100   3240 Jan 24 09:31 1994 ./programs/demo/Abduction.loc
rw-r--r-- 110/100    291 Jan 24 09:31 1994 ./programs/demo/Demo.exp
rw-r--r-- 110/100   1090 Jan 24 09:31 1994 ./programs/demo/Dynamic.exp
rw-r--r-- 110/100   1422 Jan 24 09:31 1994 ./programs/demo/Interpreter.exp
rw-rw-r-- 110/100    591 Jan 24 09:31 1994 ./programs/demo/DB1.loc
rw-r--r-- 110/100    108 Jan 24 09:31 1994 ./programs/demo/Answers.exp
rw-rw-r-- 110/100    542 Jan 24 09:31 1994 ./programs/demo/TestDynamic.loc
rw-r--r-- 110/100    784 Jan 24 09:31 1994 ./programs/demo/OM2.exp
rw-rw-r-- 110/100    516 Jan 24 09:31 1994 ./programs/demo/Append.exp
rw-rw-r-- 110/100    107 Jan 24 09:31 1994 ./programs/demo/Append.loc
rw-r--r-- 110/100    481 Jan 24 09:31 1994 ./programs/demo/Reasoner.exp
rw-r--r-- 110/100    755 Jan 24 09:31 1994 ./programs/demo/Tableau.exp
rw-rw-r-- 110/100    402 Jan 24 09:31 1994 ./programs/demo/Bike.loc
rw-rw-r-- 110/100    652 Jan 24 09:31 1994 ./programs/demo/DBA.loc
rw-rw-r-- 110/100   3675 Jan 24 09:31 1994 ./programs/demo/set-queries
rw-rw-r-- 110/100    503 Jan 24 09:31 1994 ./programs/demo/Bike2.loc
rw-rw-r-- 110/100   3195 Jan 24 09:31 1994 ./programs/demo/db1-queries
rw-rw-r-- 110/100     96 Jan 24 09:31 1994 ./programs/demo/BreadthFirst.exp
rw-rw-r-- 110/100   2533 Jan 24 09:31 1994 ./programs/demo/BreadthFirst.loc
rw-r--r-- 110/100    462 Jan 24 09:31 1994 ./programs/demo/DB.loc
rw-rw-r-- 110/100    800 Jan 24 09:31 1994 ./programs/demo/Reflection.loc
rw-r--r-- 110/100    215 Jan 24 09:31 1994 ./programs/demo/Unify.exp
rw-rw-r-- 110/100    163 Jan 24 09:31 1994 ./programs/demo/DBL.exp
rw-rw-r-- 110/100    386 Jan 24 09:31 1994 ./programs/demo/DBL.loc
rw-rw-r-- 110/100   1607 Jan 24 09:31 1994 ./programs/demo/Demo1.loc
rw-r--r-- 110/100    534 Jan 24 09:31 1994 ./programs/demo/WolfGoatCabbage.exp
rw-rw-r-- 110/100    827 Jan 24 09:31 1994 ./programs/demo/SendMoreMoney.loc
rw-rw-r-- 110/100     81 Jan 24 09:31 1994 ./programs/demo/Demo2.exp
rw-rw-r-- 110/100   1281 Jan 24 09:31 1994 ./programs/demo/Demo2.loc
rw-r--r-- 110/100    474 Jan 24 09:31 1994 ./programs/demo/AssocList.loc
rw-r--r-- 110/100     45 Jan 24 09:31 1994 ./programs/demo/theory2
rw-rw-r-- 110/100    680 Jan 24 09:31 1994 ./programs/demo/Errors.loc
rw-rw-r-- 110/100    632 Jan 24 09:31 1994 ./programs/demo/ErrorsFixed.loc
rw-rw-r-- 110/100    125 Jan 24 09:31 1994 ./programs/demo/Factorial.loc
rw-r--r-- 110/100   1607 Jan 24 09:31 1994 ./programs/demo/Demo.loc
rw-r--r-- 110/100    775 Jan 24 09:31 1994 ./programs/demo/Dynamic.loc
rw-rw-r-- 110/100    176 Jan 24 09:31 1994 ./programs/demo/NinetyOne.loc
rw-rw-r-- 110/100    885 Jan 24 09:31 1994 ./programs/demo/P2G.exp
rw-r--r-- 110/100    519 Jan 24 09:31 1994 ./programs/demo/EightQueens.loc
rw-r--r-- 110/100    479 Jan 24 09:31 1994 ./programs/demo/GCD.loc
rw-r--r-- 110/100    287 Jan 24 09:31 1994 ./programs/demo/Average.loc
rw-rw-r-- 110/100   6817 Jan 24 09:31 1994 ./programs/demo/P2G.loc
rw-rw-r-- 110/100   3444 Jan 24 09:31 1994 ./programs/demo/reflection-queries
rw-r--r-- 110/100   1263 Jan 24 09:31 1994 ./programs/demo/Answers.loc
rw-rw-r-- 110/100    384 Jan 24 09:31 1994 ./programs/demo/Succeed.loc
rw-rw-r-- 110/100    465 Jan 24 09:31 1994 ./programs/demo/Takeuchi.loc
rw-r--r-- 110/100     33 Jan 24 09:31 1994 ./programs/demo/theory3
rw-r--r-- 110/100    433 Jan 24 09:31 1994 ./programs/demo/Fibonacci.loc
rw-r--r-- 110/100    168 Jan 24 09:31 1994 ./programs/demo/Inclusion.loc
rw-rw-r-- 110/100    171 Jan 24 09:31 1994 ./programs/demo/assoclist-queries
rw-rw-r-- 110/100   1023 Jan 24 09:31 1994 ./programs/demo/TestAbduction.loc
rw-r--r-- 110/100    557 Jan 24 09:31 1994 ./programs/demo/M3.loc
rw-rw-r-- 110/100   1480 Jan 24 09:31 1994 ./programs/demo/number-queries
rw-rw-r-- 110/100    486 Jan 24 09:31 1994 ./programs/demo/TestBreadthFirst.loc
rw-r--r-- 110/100    335 Jan 24 09:31 1994 ./programs/demo/M4.loc
rw-rw-r-- 110/100    450 Jan 24 09:31 1994 ./programs/demo/TestDemo.loc
rw-r--r-- 110/100    967 Jan 24 09:31 1994 ./programs/demo/TestInterpreter.loc
rw-r--r-- 110/100   7291 Jan 24 09:31 1994 ./programs/demo/Interpreter.loc
rw-rw-r-- 110/100    493 Jan 24 09:31 1994 ./programs/demo/TestDemo2.loc
rw-rw-r-- 110/100     28 Jan 24 09:31 1994 ./programs/demo/UseDBL.loc
rw-r--r-- 110/100    187 Jan 24 09:31 1994 ./programs/demo/OM2.loc
rw-rw-r-- 110/100    736 Jan 24 09:31 1994 ./programs/demo/abduction-queries
rw-r--r-- 110/100    576 Jan 24 09:31 1994 ./programs/demo/Qsort.loc
rw-rw-r-- 110/100    139 Jan 24 09:31 1994 ./programs/demo/breadthfirst-queries
rw-r--r-- 110/100   4117 Jan 24 09:31 1994 ./programs/demo/Reasoner.loc
rw-r--r-- 110/100   1088 Jan 24 09:31 1994 ./programs/demo/Search.loc
rw-r--r-- 110/100    523 Jan 24 09:31 1994 ./programs/demo/SetProcessing.loc
rw-r--r-- 110/100    396 Jan 24 09:31 1994 ./programs/demo/Sports.loc
rw-rw-r-- 110/100    480 Jan 24 09:31 1994 ./programs/demo/succeed-queries
rw-r--r-- 110/100    399 Jan 24 09:31 1994 ./programs/demo/demo-queries
rw-r--r-- 110/100   8774 Jan 24 09:31 1994 ./programs/demo/Tableau.loc
rw-rw-r-- 110/100    398 Jan 24 09:31 1994 ./programs/demo/vanilla-queries
rw-rw-r-- 110/100    149 Jan 24 09:31 1994 ./programs/demo/Occur.loc
rw-rw-r-- 110/100    307 Jan 24 09:31 1994 ./programs/demo/Occur1.loc
rw-rw-r-- 110/100    244 Jan 24 09:31 1994 ./programs/demo/NaiveReverse.loc
rw-r--r-- 110/100    689 Jan 24 09:31 1994 ./programs/demo/TestTableau.loc
rw-r--r-- 110/100    366 Jan 24 09:31 1994 ./programs/demo/ThreeWiseMen.loc
rw-r--r-- 110/100   3116 Jan 24 09:31 1994 ./programs/demo/TestTables.loc
rw-rw-r-- 110/100      0 Jan 24 09:31 1994 ./programs/demo/Unsafe.loc
rw-r--r-- 110/100    214 Jan 24 09:31 1994 ./programs/demo/dynamic-queries
rw-r--r-- 110/100   1379 Jan 24 09:31 1994 ./programs/demo/interpreter-queries
rw-r--r-- 110/100   2792 Jan 24 09:31 1994 ./programs/demo/table-queries
rw-r--r-- 110/100    406 Jan 24 09:31 1994 ./programs/demo/unify-queries
rw-r--r-- 110/100     70 Jan 24 09:31 1994 ./programs/demo/theory
rw-r--r-- 110/100   1456 Jan 24 09:31 1994 ./programs/demo/Unify.loc
rw-r--r-- 110/100    313 Jan 24 09:31 1994 ./programs/demo/Vanilla.loc
rw-r--r-- 110/100    619 Jan 24 09:31 1994 ./programs/demo/WiseMan3KB.loc
rw-rw-r-- 110/100   1116 Jan 24 09:31 1994 ./programs/demo/Blocks.loc
rw-rw-r-- 110/100     81 Jan 24 09:31 1994 ./programs/demo/Demo1.exp
rw-r--r-- 110/100   1131 Jan 24 09:31 1994 ./programs/demo/WolfGoatCabbage.loc
rw-r--r-- 110/100     50 Jan 24 09:31 1994 ./programs/demo/theory4
rw-r--r-- 110/100    441 Jan 24 09:31 1994 ./programs/demo/demo2-queries
rw-rw-r-- 110/100   2126 Jan 24 09:31 1994 ./programs/demo/Statistics.exp
rw-r--r-- 110/100     74 Jan 24 09:31 1994 ./programs/demo/theory5
rw-r--r-- 110/100     64 Jan 24 09:31 1994 ./programs/demo/theory6
rw-rw-r-- 110/100    532 Jan 24 09:31 1994 ./programs/demo/TestUnify.loc
rw-rw-r-- 110/100    373 Jan 24 09:31 1994 ./programs/demo/Statistics.loc
rw-rw-r-- 110/100   1038 Jan 24 09:31 1994 ./programs/demo/Statistics.sup
rw-rw-r-- 110/100    503 Jan 24 09:31 1994 ./programs/demo/TestUnify1.loc
rw-rw-r-- 110/100    425 Jan 24 09:31 1994 ./programs/demo/Ancestors.loc
rwxrwxr-x 110/24      0 Jan 24 09:23 1994 ./programs/book/
rw-r--r-- 110/100    205 Jan 24 09:31 1994 ./programs/book/DisplayFile.exp
rw-r--r-- 110/100    104 Jan 24 09:31 1994 ./programs/book/DoubleTable.exp
rw-r--r-- 110/100    291 Jan 24 09:31 1994 ./programs/book/Demo.exp
rw-r--r-- 110/100   1090 Jan 24 09:31 1994 ./programs/book/Dynamic.exp
rw-r--r-- 110/100    151 Jan 24 09:31 1994 ./programs/book/Hidden2.exp
rw-r--r-- 110/100   1422 Jan 24 09:31 1994 ./programs/book/Interpreter.exp
rw-r--r-- 110/100    108 Jan 24 09:31 1994 ./programs/book/Answers.exp
rw-r--r-- 110/100    265 Jan 24 09:31 1994 ./programs/book/M5.exp
rw-r--r-- 110/100     64 Jan 24 09:31 1994 ./programs/book/M8.exp
rw-r--r-- 110/100     64 Jan 24 09:31 1994 ./programs/book/M9.exp
rw-r--r-- 110/100    784 Jan 24 09:31 1994 ./programs/book/OM2.exp
rw-r--r-- 110/100    481 Jan 24 09:31 1994 ./programs/book/Reasoner.exp
rw-r--r-- 110/100    755 Jan 24 09:31 1994 ./programs/book/Tableau.exp
rw-r--r-- 110/100    215 Jan 24 09:31 1994 ./programs/book/Unify.exp
rw-r--r-- 110/100    534 Jan 24 09:31 1994 ./programs/book/WolfGoatCabbage.exp
rw-r--r-- 110/100    474 Jan 24 09:31 1994 ./programs/book/AssocList.loc
rw-r--r-- 110/100    175 Jan 24 09:31 1994 ./programs/book/Coroutine.loc
rw-r--r-- 110/100    462 Jan 24 09:31 1994 ./programs/book/DB.loc
rw-r--r-- 110/100    646 Jan 24 09:31 1994 ./programs/book/DisplayFile.loc
rw-r--r-- 110/100    818 Jan 24 09:31 1994 ./programs/book/DoubleTable.loc
rw-r--r-- 110/100   1607 Jan 24 09:31 1994 ./programs/book/Demo.loc
rw-r--r-- 110/100    775 Jan 24 09:31 1994 ./programs/book/Dynamic.loc
rw-r--r-- 110/100    519 Jan 24 09:31 1994 ./programs/book/EightQueens.loc
rw-r--r-- 110/100    433 Jan 24 09:31 1994 ./programs/book/Fibonacci.loc
rw-r--r-- 110/100    479 Jan 24 09:31 1994 ./programs/book/GCD.loc
rw-r--r-- 110/100     45 Jan 24 09:31 1994 ./programs/book/Hidden1.loc
rw-r--r-- 110/100    102 Jan 24 09:31 1994 ./programs/book/Hidden2.loc
rw-r--r-- 110/100    168 Jan 24 09:31 1994 ./programs/book/Inclusion.loc
rw-r--r-- 110/100    967 Jan 24 09:31 1994 ./programs/book/TestInterpreter.loc
rw-r--r-- 110/100   7291 Jan 24 09:31 1994 ./programs/book/Interpreter.loc
rw-r--r-- 110/100   1263 Jan 24 09:31 1994 ./programs/book/Answers.loc
rw-r--r-- 110/100    519 Jan 24 09:31 1994 ./programs/book/M1.loc
rw-r--r-- 110/100    531 Jan 24 09:31 1994 ./programs/book/M2.loc
rw-r--r-- 110/100    557 Jan 24 09:31 1994 ./programs/book/M3.loc
rw-r--r-- 110/100    335 Jan 24 09:31 1994 ./programs/book/M4.loc
rw-r--r-- 110/100     95 Jan 24 09:31 1994 ./programs/book/M5.loc
rw-r--r-- 110/100    134 Jan 24 09:31 1994 ./programs/book/M6.loc
rw-r--r-- 110/100     75 Jan 24 09:31 1994 ./programs/book/M7.loc
rw-r--r-- 110/100    187 Jan 24 09:31 1994 ./programs/book/OM2.loc
rw-r--r-- 110/100    933 Jan 24 09:31 1994 ./programs/book/P1.loc
rw-r--r-- 110/100    406 Jan 24 09:31 1994 ./programs/book/P2.loc
rw-r--r-- 110/100    463 Jan 24 09:31 1994 ./programs/book/P3.loc
rw-r--r-- 110/100    516 Jan 24 09:31 1994 ./programs/book/P4.loc
rw-r--r-- 110/100    698 Jan 24 09:31 1994 ./programs/book/P5.loc
rw-r--r-- 110/100    137 Jan 24 09:31 1994 ./programs/book/P6.loc
rw-r--r-- 110/100    163 Jan 24 09:31 1994 ./programs/book/ParametricTypes.loc
rw-r--r-- 110/100    576 Jan 24 09:31 1994 ./programs/book/Qsort.loc
rw-r--r-- 110/100   4117 Jan 24 09:31 1994 ./programs/book/Reasoner.loc
rw-r--r-- 110/100   1088 Jan 24 09:31 1994 ./programs/book/Search.loc
rw-r--r-- 110/100    396 Jan 24 09:31 1994 ./programs/book/Sports.loc
rw-r--r-- 110/100    523 Jan 24 09:31 1994 ./programs/book/SetProcessing.loc
rw-r--r-- 110/100   8774 Jan 24 09:31 1994 ./programs/book/Tableau.loc
rw-r--r-- 110/100    689 Jan 24 09:31 1994 ./programs/book/TestTableau.loc
rw-r--r-- 110/100    366 Jan 24 09:31 1994 ./programs/book/ThreeWiseMen.loc
rw-r--r-- 110/100   1456 Jan 24 09:31 1994 ./programs/book/Unify.loc
rw-r--r-- 110/100    313 Jan 24 09:31 1994 ./programs/book/Vanilla.loc
rw-r--r-- 110/100    619 Jan 24 09:31 1994 ./programs/book/WiseMan3KB.loc
rw-r--r-- 110/100   1131 Jan 24 09:31 1994 ./programs/book/WolfGoatCabbage.loc
rw-r--r-- 110/24    265 Jan 24 09:32 1994 ./register_as_a_user
rwxrwxr-x 110/24      0 Jan 24 09:32 1994 ./src/
rw-r--r-- 110/100 176339 Jan 24 09:32 1994 ./src/system.pl
r--r--r-- 110/100  12453 Jan 24 09:32 1994 ./src/avltrees.pl
r--r--r-- 110/100   2243 Jan 24 09:32 1994 ./src/aux.pl
r--r--r-- 110/100  11106 Jan 24 09:32 1994 ./src/builtin.pl
r--r--r-- 110/100  41599 Jan 24 09:32 1994 ./src/compiler.pl
r--r--r-- 110/100  14650 Jan 24 09:32 1994 ./src/constraint.pl
r--r--r-- 110/100  14584 Jan 24 09:32 1994 ./src/delay.pl
r--r--r-- 110/100  48694 Jan 24 09:32 1994 ./src/formula.pl
r--r--r-- 110/100   6049 Jan 24 09:32 1994 ./src/gfreeze.pl
r--r--r-- 110/100   5425 Jan 24 09:32 1994 ./src/init.pl
r--r--r-- 110/100   4205 Jan 24 09:32 1994 ./src/lib.pl
r--r--r-- 110/100  68625 Jan 24 09:32 1994 ./src/parser.pl
r--r--r-- 110/100  18891 Jan 24 09:32 1994 ./src/statement.pl
r--r--r-- 110/100  21549 Jan 24 09:32 1994 ./src/checking.pl
r--r--r-- 110/100  51508 Jan 24 09:32 1994 ./src/term.pl
r--r--r-- 110/100  11815 Jan 24 09:32 1994 ./src/tokenizer.pl
r--r--r-- 110/100  10267 Jan 24 09:32 1994 ./src/tokenizer2.pl
r--r--r-- 110/100  59143 Jan 24 09:32 1994 ./src/toplev.pl
r--r--r-- 110/100  13507 Jan 24 09:32 1994 ./src/tracer.pl
r--r--r-- 110/100  19678 Jan 24 09:32 1994 ./src/transform.pl
r--r--r-- 110/100   7034 Jan 24 09:32 1994 ./src/utilities.pl
rw-rw-r-- 110/100   8999 Jan 24 09:32 1994 ./src/Integers.pl
rw-rw-r-- 110/100  11923 Jan 24 09:32 1994 ./src/Rationals.pl
rw-rw-r-- 110/100   3046 Jan 24 09:32 1994 ./src/Sets.pl
rw-rw-r-- 110/100     70 Jan 24 09:32 1994 ./src/Floats.pl
rw-rw-r-- 110/100   1005 Jan 24 09:32 1994 ./src/Numbers.pl
rw-rw-r-- 110/100   9867 Jan 24 09:32 1994 ./src/Lists.pl
rw-rw-r-- 110/100   5288 Jan 24 09:32 1994 ./src/Strings.pl
rw-rw-r-- 110/100  28013 Jan 24 09:32 1994 ./src/Tables.pl
rw-rw-r-- 110/100   9185 Jan 24 09:32 1994 ./src/Units.pl
rw-rw-r-- 110/100   3968 Jan 24 09:32 1994 ./src/Flocks.pl
rw-rw-r-- 110/100   3099 Jan 24 09:32 1994 ./src/FlocksIO.pl
rw-r--r-- 110/100   6767 Jan 24 09:32 1994 ./src/IO.pl
rw-rw-r-- 110/100     73 Jan 24 09:32 1994 ./src/NumbersIO.pl
rw-rw-r-- 110/100 134607 Jan 24 09:32 1994 ./src/Syntax.pl
rw-rw-r-- 110/100   1847 Jan 24 09:32 1994 ./src/ExtraSyntax.pl
rw-rw-r-- 110/24    654 Jan 24 09:32 1994 ./src/Makefile
rw-rw-r-- 110/100  34436 Jan 24 09:32 1994 ./src/SharedSyntax.pl
rw-r--r-- 110/100  80035 Jan 24 09:32 1994 ./src/Substs.pl
rw-rw-r-- 110/100 121967 Jan 24 09:32 1994 ./src/Programs.pl
rw-rw-r-- 110/100 146981 Jan 24 09:32 1994 ./src/SharedPrograms.pl
rw-rw-r-- 110/100   1412 Jan 24 09:32 1994 ./src/ProgramCache.pl
rw-rw-r-- 110/100  22518 Jan 24 09:32 1994 ./src/AVLTrees.pl
rw-rw-r-- 110/100   3872 Jan 24 09:32 1994 ./src/ProgramsIO.pl
rw-rw-r-- 110/100  38300 Jan 24 09:32 1994 ./src/Scripts.pl
rw-rw-r-- 110/100   2436 Jan 24 09:32 1994 ./src/ScriptsIO.pl
rw-rw-r-- 110/100     72 Jan 24 09:32 1994 ./src/Theories.pl
rw-rw-r-- 110/100     74 Jan 24 09:32 1994 ./src/TheoriesIO.pl
rw-rw-r-- 110/100 1044385 Jan 24 09:32 1994 ./src/sys_modules.pl
