| Wed, 21 Jun 1995 15:12:40 +0200 | clasohm | removed \...\ inside strings | file | diff | annotate |
| Fri, 16 Sep 1994 15:48:20 +0200 | nipkow | Definition of C was not truly prim rec because C was called inside Gamma | file | diff | annotate |
| Tue, 06 Sep 1994 16:46:27 +0200 | nipkow | changed names | file | diff | annotate |
| Tue, 06 Sep 1994 16:15:59 +0200 | nipkow | Converted rules to primrecs | 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 |