doc-src/Logics/LK.tex
1995-01-02 wenzelm 1995-01-02 fixed minor typos;
1994-04-22 lcp 1994-04-22 final Springer copy
1994-04-15 lcp 1994-04-15 penultimate Springer draft
1994-03-23 lcp 1994-03-23 first draft of Springer volume
1994-02-04 lcp 1994-02-04 correction to cut tactics
1993-11-11 lcp 1993-11-11 Various updates for Isabelle-93
1993-11-10 lcp 1993-11-10 Initial revision