rwxrwxr-x 110/100      0 May 16 10:17 1994 ./runtime/
rw-rw-r-- 110/100 1313860 May 16 10:17 1994 ./runtime/sys_modules.ql
rw-rw-r-- 110/100 190616 May 16 10:17 1994 ./runtime/toplev.ql
rw-rw-r-- 110/100  14056 May 16 10:17 1994 ./runtime/utilities.ql
rw-rw-r-- 110/100  43118 May 16 10:17 1994 ./runtime/tracer.ql
rw-rw-r-- 110/100   5416 May 16 10:17 1994 ./runtime/lib.ql
rw-rw-r-- 110/100   9285 May 16 10:17 1994 ./runtime/gfreeze.ql
rw-rw-r-- 110/100  28264 May 16 10:17 1994 ./runtime/tokenizer.ql
rw-rw-r-- 110/100  20877 May 16 10:17 1994 ./runtime/tokenizer2.ql
rw-rw-r-- 110/100 107190 May 16 10:17 1994 ./runtime/term.ql
rw-rw-r-- 110/100 129739 May 16 10:17 1994 ./runtime/formula.ql
rw-rw-r-- 110/100  42168 May 16 10:17 1994 ./runtime/statement.ql
rw-rw-r-- 110/100 167419 May 16 10:17 1994 ./runtime/parser.ql
rw-rw-r-- 110/100  31046 May 16 10:17 1994 ./runtime/checking.ql
rw-rw-r-- 110/100 359706 May 16 10:17 1994 ./runtime/system.ql
rw-rw-r-- 110/100  27401 May 16 10:17 1994 ./runtime/avltrees.ql
rw-rw-r-- 110/100  22596 May 16 10:17 1994 ./runtime/builtin.ql
rw-rw-r-- 110/100  75111 May 16 10:17 1994 ./runtime/compiler.ql
rw-rw-r-- 110/100  25342 May 16 10:17 1994 ./runtime/delay.ql
rw-rw-r-- 110/100  24484 May 16 10:17 1994 ./runtime/constraint.ql
rw-rw-r-- 110/100  21889 May 16 10:17 1994 ./runtime/transform.ql
rw-rw-r-- 110/100  34725 May 16 10:17 1994 ./runtime/Integers.ql
rw-rw-r-- 110/100  43731 May 16 10:17 1994 ./runtime/Rationals.ql
rw-rw-r-- 110/100    286 May 16 10:17 1994 ./runtime/Floats.ql
rw-rw-r-- 110/100   2444 May 16 10:17 1994 ./runtime/Numbers.ql
rw-rw-r-- 110/100  27730 May 16 10:17 1994 ./runtime/Lists.ql
rw-rw-r-- 110/100   9401 May 16 10:17 1994 ./runtime/Sets.ql
rw-rw-r-- 110/100  12567 May 16 10:17 1994 ./runtime/Strings.ql
rw-rw-r-- 110/100  69072 May 16 10:17 1994 ./runtime/Tables.ql
rw-rw-r-- 110/100  25425 May 16 10:17 1994 ./runtime/Units.ql
rw-rw-r-- 110/100  10970 May 16 10:17 1994 ./runtime/Flocks.ql
rw-rw-r-- 110/100   6825 May 16 10:17 1994 ./runtime/FlocksIO.ql
rw-rw-r-- 110/100  16009 May 16 10:17 1994 ./runtime/IO.ql
rw-rw-r-- 110/100    289 May 16 10:17 1994 ./runtime/NumbersIO.ql
rw-rw-r-- 110/100 273102 May 16 10:17 1994 ./runtime/Syntax.ql
rw-rw-r-- 110/100   3768 May 16 10:17 1994 ./runtime/ExtraSyntax.ql
rw-rw-r-- 110/100  57586 May 16 10:17 1994 ./runtime/SharedSyntax.ql
rw-rw-r-- 110/100 142516 May 16 10:17 1994 ./runtime/Substs.ql
rw-rw-r-- 110/100 243785 May 16 10:17 1994 ./runtime/Programs.ql
rw-rw-r-- 110/100 272116 May 16 10:17 1994 ./runtime/SharedPrograms.ql
rw-rw-r-- 110/100   3769 May 16 10:17 1994 ./runtime/ProgramCache.ql
rw-rw-r-- 110/100  89786 May 16 10:17 1994 ./runtime/Scripts.ql
rw-rw-r-- 110/100   3883 May 16 10:17 1994 ./runtime/ScriptsIO.ql
rw-rw-r-- 110/100  50856 May 16 10:17 1994 ./runtime/AVLTrees.ql
rw-rw-r-- 110/100   8218 May 16 10:17 1994 ./runtime/ProgramsIO.ql
rw-rw-r-- 110/100    288 May 16 10:17 1994 ./runtime/Theories.ql
rw-rw-r-- 110/100    290 May 16 10:17 1994 ./runtime/TheoriesIO.ql
rw-rw-r-- 110/100  12250 May 16 10:17 1994 ./runtime/init.ql
rw-rw-r-- 110/100   2450 May 16 10:17 1994 ./runtime/aux.ql
rwxrwxr-x 110/100      0 May 16 10:17 1994 ./runtime/Runtime/
rw-r--r-- 110/100   2320 May 16 10:17 1994 ./runtime/Runtime/rt_boot.ql
rw-r--r-- 110/100 412149 May 16 10:17 1994 ./runtime/Runtime/runtime.ql
rwxrwxr-x 110/100 267081 May 16 10:17 1994 ./runtime/goedel
rw-rw-r-- 110/100   1899 May 16 10:17 1994 ./runtime/README
