| 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 |