| 1995-05-11 | lcp | show_sorts | file | diff | annotate |
| 1995-05-03 | lcp | Updates involving defs, addss, etc. | file | diff | annotate |
| 1995-01-24 | lcp | updates for Isabelle94-2 | file | diff | annotate |
| 1995-01-13 | lcp | empty_def typo | file | diff | annotate |
| 1994-11-21 | lcp | page 157 erratum | file | diff | annotate |
| 1994-11-18 | nipkow | Chnaged simplifier description (lhss) | file | diff | annotate |
| 1994-11-11 | lcp | argument swaps in HOL | file | diff | annotate |
| 1994-09-15 | lcp | now mentions that the sections are available as | file | diff | annotate |
| 1994-09-11 | nipkow | Added primrec section | file | diff | annotate |
| 1994-09-09 | lcp | now in a format that could be published | file | diff | annotate |
| 1994-08-04 | lcp | addition of show_brackets | file | diff | annotate |
| 1994-07-27 | lcp | logics update | file | diff | annotate |
| 1994-07-18 | nipkow | *** empty log message *** | file | diff | annotate |
| 1994-07-11 | nipkow | type constraints | file | diff | annotate |
| 1994-07-11 | lcp | New errata list for the documentation | file | diff | annotate |