doc-src/Logics/CTT.tex
1995-03-28 lcp 1995-03-28 Corrected faulty reference to Hindley-Milner type inference
1994-04-22 lcp 1994-04-22 final Springer copy
1994-04-15 lcp 1994-04-15 penultimate Springer draft
1994-03-19 lcp 1994-03-19 First draft of Springer book
1993-11-25 wenzelm 1993-11-25 corrected obvious errors;
1993-11-12 lcp 1993-11-12 Misc updates
1993-11-11 lcp 1993-11-11 Various updates for Isabelle-93
1993-11-10 lcp 1993-11-10 Initial revision