rwxrwxr-x 2037/200 0 May 17 03:09 1993 ALF/ rwxrwxr-x 2037/200 0 May 17 03:10 1993 ALF/bin/ rwxr-xr-x 2037/200 481 Jun 24 06:07 1992 ALF/bin/alf rwxr-xr-x 2037/200 139 Jun 24 06:07 1992 ALF/bin/alfcompile rwxr-xr-x 2037/200 123 Jun 24 06:07 1992 ALF/bin/alfcheck rwxr-xr-x 2037/200 567 Jun 24 06:07 1992 ALF/bin/flatalfcompile rwxr-xr-x 2037/200 817 May 13 06:50 1993 ALF/bin/alfrun rwxrwxr-x 2037/200 0 May 17 03:18 1993 ALF/examples/ rwxrwxr-x 2037/200 0 May 17 03:06 1993 ALF/examples/MAC/ rw-r--r-- 2037/200 804 Feb 8 08:02 1992 ALF/examples/MAC/list.alf rw-r--r-- 2037/200 319 Feb 8 08:02 1992 ALF/examples/MAC/listofstates.alf rw-r--r-- 2037/200 491 Feb 8 08:02 1992 ALF/examples/MAC/listord.alf rw-r--r-- 2037/200 1778 Feb 8 08:02 1992 ALF/examples/MAC/mac.alf rw-r--r-- 2037/200 501 Feb 8 08:02 1992 ALF/examples/MAC/natord.alf rw-r--r-- 2037/200 603 Feb 8 08:02 1992 ALF/examples/MAC/nats.alf rw-r--r-- 2037/200 698 Feb 8 08:02 1992 ALF/examples/MAC/person.alf rw-r--r-- 2037/200 720 Feb 8 08:02 1992 ALF/examples/MAC/setofperson.alf rw-r--r-- 2037/200 2419 Feb 8 08:02 1992 ALF/examples/MAC/setord.alf rw-r--r-- 2037/200 439 Feb 8 08:02 1992 ALF/examples/MAC/states.alf rw-r--r-- 2037/200 457 Feb 8 08:02 1992 ALF/examples/MAC/trip.alf rw-r--r-- 2037/200 338 Feb 8 08:02 1992 ALF/examples/MAC/README rw-r--r-- 2037/200 407 Feb 8 08:02 1992 ALF/examples/MAC/goals rw-r--r-- 2037/200 15364 Feb 8 08:02 1992 ALF/examples/MAC/mac32.fal rw-r--r-- 2037/200 18987 Jun 12 11:06 1992 ALF/examples/MAC/mac32.byt rw-r--r-- 2037/200 15183 Feb 8 08:02 1992 ALF/examples/MAC/mac22.fal rw-r--r-- 2037/200 18881 Jun 12 11:06 1992 ALF/examples/MAC/mac22.byt rw-r--r-- 2037/200 15536 Feb 8 08:02 1992 ALF/examples/MAC/mac33.fal rw-r--r-- 2037/200 19093 Jun 12 11:06 1992 ALF/examples/MAC/mac33.byt rw-r--r-- 2037/200 19093 Feb 9 11:06 1993 ALF/examples/MAC/mac.byt rw-rw-r-- 2037/200 1073 Jun 12 08:02 1992 ALF/examples/MAC/RESULTS rw-rw-r-- 2037/200 1653 May 11 11:34 1993 ALF/examples/README rw-rw-r-- 2037/200 782 Jan 19 06:16 1993 ALF/examples/arith.alf rw-rw-r-- 2037/200 540 Feb 8 08:02 1992 ALF/examples/fri.alf rw-rw-r-- 2037/200 290 Feb 8 08:02 1992 ALF/examples/horseman.alf rw-rw-r-- 2037/200 400 Feb 8 08:02 1992 ALF/examples/isort.alf rw-rw-r-- 2037/200 401 Feb 8 08:02 1992 ALF/examples/map.alf rw-rw-r-- 2037/200 248 Feb 8 08:02 1992 ALF/examples/natmod.alf rw-rw-r-- 2037/200 566 Feb 8 08:02 1992 ALF/examples/natord.alf rw-rw-r-- 2037/200 410 Feb 8 08:02 1992 ALF/examples/qsort.alf rw-rw-r-- 2037/200 583 Feb 8 08:02 1992 ALF/examples/qsort1.alf rw-rw-r-- 2037/200 575 Feb 8 08:02 1992 ALF/examples/qsort2.alf rw-rw-r-- 2037/200 299 Feb 8 08:02 1992 ALF/examples/qsortapply.alf rw-rw-r-- 2037/200 416 Feb 8 08:02 1992 ALF/examples/qsortpoly.alf rw-rw-r-- 2037/200 1073 Feb 8 08:02 1992 ALF/examples/rev.alf rw-rw-r-- 2037/200 395 Feb 8 08:02 1992 ALF/examples/stackmod.alf rw-rw-r-- 2037/200 330 Jun 12 08:51 1992 ALF/examples/summe.alf rw-rw-r-- 2037/200 5168 Jan 19 07:00 1993 ALF/examples/arith.byt rw-rw-r-- 2037/200 1981 Feb 9 11:05 1993 ALF/examples/horseman.byt rw-rw-r-- 2037/200 3430 Jun 12 11:10 1992 ALF/examples/isort.byt rw-rw-r-- 2037/200 3653 Jun 12 11:10 1992 ALF/examples/map.byt rw-rw-r-- 2037/200 820 Feb 8 08:02 1992 ALF/examples/psort_fast.alf rw-rw-r-- 2037/200 9913 Jul 20 03:34 1992 ALF/examples/rev.byt rw-rw-r-- 2037/200 3959 Jun 12 11:13 1992 ALF/examples/qsort1.byt rw-rw-r-- 2037/200 3931 Jun 12 11:13 1992 ALF/examples/qsort2.byt rw-rw-r-- 2037/200 4001 Jun 12 11:14 1992 ALF/examples/qsortapply.byt rw-rw-r-- 2037/200 1912 Feb 9 11:05 1993 ALF/examples/summe.byt rw-rw-r-- 2037/200 1013 Feb 8 08:02 1992 ALF/examples/queens_slow.alf rw-rw-r-- 2037/200 1210 Feb 8 08:02 1992 ALF/examples/queens_fast.alf rw-rw-r-- 2037/200 711 Feb 8 08:02 1992 ALF/examples/psort_slow.alf rw-rw-r-- 2037/200 3314 Feb 9 11:03 1993 ALF/examples/psort_slow.byt rw-rw-r-- 2037/200 608 Feb 8 08:02 1992 ALF/examples/maximum.alf rw-rw-r-- 2037/200 2025 Jun 12 08:13 1992 ALF/examples/mobile.alf rw-rw-r-- 2037/200 5332 Sep 8 07:27 1992 ALF/examples/queens_fast.byt rw-rw-r-- 2037/200 3341 Jun 12 11:13 1992 ALF/examples/qsort.byt rw-rw-r-- 2037/200 3561 Jun 12 11:14 1992 ALF/examples/queens_slow.byt rw-rw-r-- 2037/200 1244 Jun 12 11:10 1992 ALF/examples/maximum.byt rw-rw-r-- 2037/200 3528 Jun 12 11:10 1992 ALF/examples/mobile.byt rw-rw-r-- 2037/200 4711 Feb 9 11:03 1993 ALF/examples/psort_fast.byt rw-rw-r-- 2037/200 931 Jul 20 03:32 1992 ALF/examples/fri.byt rw-rw-r-- 2037/200 980 Jan 18 06:00 1993 ALF/examples/diff.alf rw-rw-r-- 2037/200 1863 May 12 05:27 1993 ALF/examples/lazylist.alf rw-rw-r-- 2037/200 4172 Jan 18 05:59 1993 ALF/examples/diff.byt rw-rw-r-- 2037/200 1690 May 11 11:18 1993 ALF/examples/lazylist.byt rwxrwxr-x 2037/200 0 May 17 03:10 1993 ALF/implementation/ rwxrwxr-x 2037/200 0 May 17 03:07 1993 ALF/implementation/alf-general/ rw-r----- 2037/200 680 Jun 11 11:28 1992 ALF/implementation/alf-general/aufrufe.pl rw-r--r-- 2037/200 1107 Jan 7 08:42 1992 ALF/implementation/alf-general/sowam.pl rw-r--r-- 2037/200 2593 Feb 8 08:02 1992 ALF/implementation/alf-general/hilfe.pl rw-r--r-- 2037/200 3072 Feb 8 08:02 1992 ALF/implementation/alf-general/hilfen.pl rwxrwxr-x 2037/200 0 May 17 03:07 1993 ALF/implementation/qprolog/ rw-r--r-- 2037/200 986 Jun 11 11:57 1992 ALF/implementation/qprolog/load_alf.pl rw-r--r-- 2037/200 328 Jun 12 09:18 1992 ALF/implementation/qprolog/q_missing.pl rw-r--r-- 2037/200 160 Dec 6 09:36 1991 ALF/implementation/qprolog/startup.pl rwxrwxr-x 2037/200 0 May 17 03:10 1993 ALF/implementation/sbprolog/ rw-r--r-- 2037/200 80 Aug 6 08:58 1991 ALF/implementation/sbprolog/sb_missing.pl rwxr-xr-- 2037/200 1064 Feb 8 08:02 1992 ALF/implementation/sbprolog/compile_alf rw-r--r-- 2037/200 440 Jun 25 04:57 1992 ALF/implementation/sbprolog/Makefile rwxrwxr-x 2037/200 0 May 17 03:07 1993 ALF/implementation/bytecode/ rw-r--r-- 2037/200 1357 Feb 8 08:02 1992 ALF/implementation/bytecode/USAGE rw-r--r-- 2037/200 21619 Jan 2 08:01 1992 ALF/implementation/bytecode/byte_def.pl rw-r--r-- 2037/200 5597 Jan 30 08:05 1992 ALF/implementation/bytecode/bc_out.pl rw-r----- 2037/200 5368 Aug 1 10:55 1991 ALF/implementation/bytecode/make_AF.pl rw-r--r-- 2037/200 5715 Oct 28 12:02 1991 ALF/implementation/bytecode/func_to_bc.pl rw-r--r-- 2037/200 3931 Jan 3 12:07 1992 ALF/implementation/bytecode/sowam_to_bc.pl rw-r--r-- 2037/200 2979 Jul 31 10:56 1991 ALF/implementation/bytecode/relocation.pl rwxrwxr-x 2037/200 0 May 17 03:07 1993 ALF/implementation/compiler/ rw-r--r-- 2037/200 15793 Jul 31 08:13 1991 ALF/implementation/compiler/atos_part.pl rw-r--r-- 2037/200 20212 Jan 2 08:33 1992 ALF/implementation/compiler/sowam_to_absy.pl rw-r--r-- 2037/200 116192 Jan 2 08:02 1992 ALF/implementation/compiler/comp_part.pl rw-r--r-- 2037/200 54836 Jun 12 10:51 1992 ALF/implementation/compiler/skel_part.pl rw-r--r-- 2037/200 18274 Dec 5 10:52 1991 ALF/implementation/compiler/ff.pl rwxrwxr-x 2037/200 0 May 17 03:07 1993 ALF/implementation/sowam/ rwxrwxr-x 2037/200 0 May 17 03:10 1993 ALF/implementation/sowam/Stat/ rw-r--r-- 2037/200 185 Jun 12 12:25 1992 ALF/implementation/sowam/Stat/GNUmakefile rwxrwxr-x 2037/200 0 May 17 03:10 1993 ALF/implementation/sowam/Optimized/ rw-r--r-- 2037/200 169 Jun 12 12:24 1992 ALF/implementation/sowam/Optimized/GNUmakefile rw-r--r-- 2037/200 275 Jun 12 12:20 1992 ALF/implementation/sowam/GNUmakefile rw-r--r-- 2037/200 7480 Feb 8 08:02 1992 ALF/implementation/sowam/TAGS rwxr-xr-x 2037/200 61888 Feb 8 08:02 1992 ALF/implementation/sowam/dump_byt rw-r--r-- 2037/200 1251 Jun 12 12:19 1992 ALF/implementation/sowam/Makefile.inc rw-r--r-- 2037/200 42643 Mar 31 08:15 1992 ALF/implementation/sowam/interp.c rw-r--r-- 2037/200 18791 Jan 27 11:35 1992 ALF/implementation/sowam/getopt.c rw-r--r-- 2037/200 3754 Jan 27 11:35 1992 ALF/implementation/sowam/getopt.h rw-r--r-- 2037/200 3530 Jan 27 11:35 1992 ALF/implementation/sowam/getopt1.c rw-r--r-- 2037/200 8774 Jun 12 12:40 1992 ALF/implementation/sowam/sowam.c rw-r--r-- 2037/200 2074 Feb 19 05:17 1992 ALF/implementation/sowam/debug.h rw-r--r-- 2037/200 2203 Jul 5 07:02 1991 ALF/implementation/sowam/funcs.c rw-r--r-- 2037/200 1377 Feb 7 12:17 1992 ALF/implementation/sowam/proto.h rw-r--r-- 2037/200 3127 Jan 22 09:09 1992 ALF/implementation/sowam/types.h rw-r--r-- 2037/200 7427 Feb 19 05:32 1992 ALF/implementation/sowam/debug.c rw-r--r-- 2037/200 14270 Oct 25 09:24 1991 ALF/implementation/sowam/dump_byt.c rw-r--r-- 2037/200 192 May 28 05:39 1991 ALF/implementation/sowam/sowam.h rw-r----- 2037/200 1462 Jul 29 09:43 1991 ALF/implementation/sowam/std.h rw-r--r-- 2037/200 753 Jun 25 07:59 1991 ALF/implementation/sowam/builtins.h rw-r--r-- 2037/200 12844 Feb 12 13:14 1992 ALF/implementation/sowam/output.c rw-r--r-- 2037/200 306 Mar 31 08:43 1992 ALF/implementation/sowam/version.c rw-r--r-- 2037/200 9496 Feb 7 12:17 1992 ALF/implementation/sowam/unify.c rw-r--r-- 2037/200 4613 Oct 1 08:41 1991 ALF/implementation/sowam/macros.h rw-r--r-- 2037/200 10925 Mar 31 08:11 1992 ALF/implementation/sowam/builtins.c rw-r--r-- 2037/200 54527 Mar 31 08:37 1992 ALF/implementation/sowam/plread.c rw-r--r-- 2037/200 890 May 28 05:39 1991 ALF/implementation/sowam/prologdef.h rw-r--r-- 2037/200 699 May 28 05:39 1991 ALF/implementation/sowam/plread.h rw-r--r-- 2037/200 11212 Feb 25 05:25 1991 ALF/implementation/sowam/plread.doc rw-r--r-- 2037/200 4525 Jan 30 07:15 1992 ALF/implementation/sowam/bytecode.c rw-r--r-- 2037/200 1895 May 28 05:39 1991 ALF/implementation/sowam/streams.c rw-r--r-- 2037/200 2038 May 28 05:39 1991 ALF/implementation/sowam/plstd.h rw-r--r-- 2037/200 2572 Jul 19 08:37 1991 ALF/implementation/sowam/af-area.c rw-r--r-- 2037/200 839 Jul 19 08:35 1991 ALF/implementation/sowam/af-area.h rw-r--r-- 2037/200 1099 Jul 19 08:35 1991 ALF/implementation/sowam/global.h rw-r--r-- 2037/200 2217 Dec 20 09:18 1991 ALF/implementation/sowam/alf-string.c rw-r--r-- 2037/200 493 May 28 05:39 1991 ALF/implementation/sowam/streams.h rw-r--r-- 2037/200 428 Mar 31 08:34 1992 ALF/implementation/sowam/plprintf.h rw-r--r-- 2037/200 4279 Mar 31 08:35 1992 ALF/implementation/sowam/plprintf.c rw-r--r-- 2037/200 650 Jul 31 10:32 1991 ALF/implementation/sowam/machine.h rw-r--r-- 2037/200 2905 May 28 05:39 1991 ALF/implementation/sowam/plrdwr.h rw-r--r-- 2037/200 894 Jul 31 10:53 1991 ALF/implementation/sowam/bytecode.h rw-r--r-- 2037/200 2038 May 17 03:15 1993 ALF/implementation/Makefile rw-r--r-- 2037/200 6613 Feb 19 05:21 1992 ALF/implementation/ChangeLog rwxrwxr-x 2037/200 0 May 17 03:08 1993 ALF/modules/ rw-r--r-- 2037/200 418 Feb 8 08:03 1992 ALF/modules/list.alf rw-r--r-- 2037/200 482 Feb 8 08:03 1992 ALF/modules/nats.alf rw-r--r-- 2037/200 933 Feb 8 08:03 1992 ALF/modules/operator.alf rw-r--r-- 2037/200 1992 Feb 8 08:03 1992 ALF/modules/streamio.alf rw-r--r-- 2037/200 772 Feb 8 08:03 1992 ALF/modules/string.alf rw-r--r-- 2037/200 528 Feb 8 08:03 1992 ALF/modules/term.alf rw-r--r-- 2037/200 163 Feb 8 08:03 1992 ALF/modules/system.alf rw-r--r-- 2037/200 254 Feb 8 08:03 1992 ALF/modules/bool.alf rwxrwxr-x 2037/200 0 May 17 03:08 1993 ALF/prepro/ rw-r--r-- 2037/200 238 Feb 8 08:03 1992 ALF/prepro/README rw-r--r-- 2037/200 32227 Jun 23 12:43 1992 ALF/prepro/anaDecl.alf rw-r--r-- 2037/200 623 Jun 23 12:43 1992 ALF/prepro/errors.alf rw-rw-r-- 2037/200 98400 Feb 9 11:10 1993 ALF/prepro/pp.fal rw-r--r-- 2037/200 301 Feb 8 08:03 1992 ALF/prepro/Makefile rw-r--r-- 2037/200 17893 Jun 23 12:43 1992 ALF/prepro/pp.alf rw-r--r-- 2037/200 2751 Jun 23 12:43 1992 ALF/prepro/optables.alf rw-r--r-- 2037/200 36719 Jun 23 12:43 1992 ALF/prepro/symtab.alf rw-rw-r-- 2037/200 109885 Feb 9 11:13 1993 ALF/prepro/pp.byt rwxrwxr-x 2037/200 0 May 17 03:16 1993 ALF/docs/ rw-r--r-- 2037/200 72361 May 13 07:07 1993 ALF/docs/user.tex rw-r--r-- 2037/200 693 Feb 8 08:03 1992 ALF/docs/ebnf.sty rw-r--r-- 2037/200 5711 Dec 14 03:42 1992 ALF/docs/info.tex rw-r--r-- 2037/200 4638 Dec 14 03:48 1992 ALF/docs/install.tex rw-r--r-- 2037/200 3107 May 13 07:01 1993 ALF/docs/user.bbl rwxrwxr-x 2037/200 0 May 17 03:10 1993 ALF/localbin/ rwxr-xr-x 2037/200 98304 Feb 8 08:03 1992 ALF/localbin/gmake.sun3 rwxr-xr-- 2037/200 114688 Feb 8 08:03 1992 ALF/localbin/gmake.sun4 rwxr-xr-- 2037/200 331 Jun 24 05:59 1992 ALF/localbin/call-sbprolog rwxrwxr-x 2037/200 362 Jun 24 06:04 1992 ALF/localbin/getALFPROLOG rw-r--r-- 2037/200 1779 Dec 14 05:56 1992 ALF/LICENSE rw-r--r-- 2037/200 212 Feb 8 08:02 1992 ALF/Makefile rw-r--r-- 2037/200 1017 Dec 14 03:35 1992 ALF/README rw-r--r-- 2037/200 256 Jun 25 04:12 1992 ALF/VERSION