doc-src/ERRATA.txt
2004-02-10 paulson updated links to the old ftp site
1995-05-11 lcp show_sorts
1995-05-03 lcp Updates involving defs, addss, etc.
1995-01-24 lcp updates for Isabelle94-2
1995-01-13 lcp empty_def typo Isabelle94-2
1994-11-21 lcp page 157 erratum
1994-11-18 nipkow Chnaged simplifier description (lhss)
1994-11-11 lcp argument swaps in HOL
1994-09-15 lcp now mentions that the sections are available as
1994-09-11 nipkow Added primrec section
1994-09-09 lcp now in a format that could be published
1994-08-04 lcp addition of show_brackets
1994-07-27 lcp logics update
1994-07-18 nipkow *** empty log message ***
1994-07-11 nipkow type constraints
1994-07-11 lcp New errata list for the documentation
less more (0) tip