| Fri, 24 Mar 1995 12:30:35 +0100 | clasohm | changed syntax of tuples from <..., ...> to (..., ...) | file | diff | annotate |
| Wed, 08 Mar 1995 10:25:50 +0100 | nipkow | Added pretty-printing coments | file | diff | annotate |
| Tue, 07 Mar 1995 15:00:34 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Tue, 07 Mar 1995 14:59:24 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Tue, 07 Mar 1995 14:57:37 +0100 | nipkow | Hoare logic | file | diff | annotate |