| Thu, 04 Aug 1994 11:45:59 +0200 | lcp | addition of show_brackets | file | diff | annotate |
| Wed, 27 Jul 1994 19:04:21 +0200 | lcp | logics update | file | diff | annotate |
| Mon, 18 Jul 1994 12:24:35 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Mon, 11 Jul 1994 17:50:34 +0200 | nipkow | type constraints | file | diff | annotate |
| Mon, 11 Jul 1994 16:47:20 +0200 | lcp | New errata list for the documentation | file | diff | annotate |