doc-src/Logics/HOL.tex
1996-07-15 berghofe 1996-07-15 updated syntax of primrec definitions
1996-07-12 berghofe 1996-07-12 updated syntax of primrec definitions
1996-03-15 clasohm 1996-03-15 updated syntax of datatype declaration
1996-03-14 clasohm 1996-03-14 updated syntax of datatype definitions: "C t1 ... tn" instead of "C(t1,...,tn)"
1996-02-09 nipkow 1996-02-09 More examples.
1996-02-09 nipkow 1996-02-09 Small changes.
1996-02-01 nipkow 1996-02-01 documented split_all_tac in HOL.
1996-01-23 paulson 1996-01-23 Stylistic changes to discussion of pattern-matching
1996-01-01 nipkow 1996-01-01 Modified non-empty-types warning in HOL.
1995-12-23 nipkow 1995-12-23 New version of type sections and many small changes.
1995-12-07 clasohm 1995-12-07 removed quotes from consts and syntax sections
1995-08-18 nipkow 1995-08-18 updated "o" in HOL: (infixl 55) added warning about conj_cong in HOL.
1995-06-29 clasohm 1995-06-29 changed 'chol' labels to 'hol'; added a few parentheses
1995-06-29 clasohm 1995-06-29 changes made by Lawrence Paulson
1995-05-09 clasohm 1995-05-09 converted HOL.tex to CHOL.tex; replaced HOL.tex by CHOL.tex