doc-src/Logics/LK.tex
2011-05-30 paulson 2011-05-30 Workaround for hyperref bug affecting index entries involving the | symbol
2011-05-02 wenzelm 2011-05-02 eliminated old CVS Ids;
2006-02-28 paulson 2006-02-28 typos
2000-08-28 wenzelm 2000-08-28 proper setup of iman.sty/extra.sty/ttbox.sty;
1999-07-28 paulson 1999-07-28 simplifier and improved classical reasoner
1999-01-08 paulson 1999-01-08 removal of FOL, ZF to a separate manual
1998-07-16 paulson 1998-07-16 Got rid of obsolete "goal" commands. Also inserted spaces after all periods
1997-05-09 wenzelm 1997-05-09 tuned ref to src;
1997-05-07 wenzelm 1997-05-07 fixed ref to srcs;
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