doc-src/ERRATA.txt
1994-11-18 nipkow 1994-11-18 Chnaged simplifier description (lhss)
1994-11-11 lcp 1994-11-11 argument swaps in HOL
1994-09-15 lcp 1994-09-15 now mentions that the sections are available as Datatypes and (Co)Inductive Definitions in Isabelle/HOL
1994-09-11 nipkow 1994-09-11 Added primrec section
1994-09-09 lcp 1994-09-09 now in a format that could be published
1994-08-04 lcp 1994-08-04 addition of show_brackets
1994-07-27 lcp 1994-07-27 logics update
1994-07-18 nipkow 1994-07-18 *** empty log message ***
1994-07-11 nipkow 1994-07-11 type constraints
1994-07-11 lcp 1994-07-11 New errata list for the documentation