Thu, 15 Sep 1994 13:13:54 +0200 | lcp | now mentions that the sections are available as | file | diff | annotate |
Sun, 11 Sep 1994 12:52:00 +0200 | nipkow | Added primrec section | file | diff | annotate |
Fri, 09 Sep 1994 13:10:09 +0200 | lcp | now in a format that could be published | file | diff | annotate |
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 |