minor change
-rw-r--r-- 935 Abs.hs
-rw-r--r-- 928 Abssyntax.hs
-rw-r--r-- 1521 CompInt.hs
-rw-r--r-- 2206 Compile.hs
-rw-r--r-- 1507 Compiler.hs
-rw-r--r-- 7484 Docsyntax.tex
-rw-r--r-- 382 ErrM.hs
-rw-r--r-- 4557 Interpret.hs
-rw-r--r-- 1664 Interpreter.hs
-rw-r--r-- 3742 Lexsyntax.x
-rw-r--r-- 1167 Makefile
-rw-r--r-- 3902 Parsyntax.y
-rw-r--r-- 6100 Printsyntax.hs
-rw-r--r-- 1777 Skelsyntax.hs
-rw-r--r-- 1385 Testsyntax.hs
-rw-r--r-- 4569 Typecheck.hs
-rw-r--r-- 1745 Typechecker.hs
-rw-r--r-- 3182 documentation
drwxr-xr-x - examples
-rw-r--r-- 1898 formalsemantics
-rw-r--r-- 2213 syntax.cf