| Thu, 06 Apr 1995 11:27:54 +0200 | lcp | Removed the "exit 1" calls, since now the | file | diff | annotate |
| Tue, 14 Mar 1995 09:42:49 +0100 | nipkow | added "exit 1" | file | diff | annotate |
| Fri, 25 Nov 1994 20:06:15 +0100 | nipkow | Proved determinism. | file | diff | annotate |
| Wed, 31 Aug 1994 16:25:19 +0200 | nipkow | Renamed a few types and vars | file | diff | annotate |
| Wed, 31 Aug 1994 15:15:54 +0200 | nipkow | Equivalence of op. and den. sem. for simple while language. | file | diff | annotate |