doc-src/Logics/LK.tex
Mon, 30 May 2011 15:30:05 +0100 paulson Workaround for hyperref bug affecting index entries involving the | symbol
Mon, 02 May 2011 22:31:46 +0200 wenzelm eliminated old CVS Ids;
Tue, 28 Feb 2006 11:07:13 +0100 paulson typos
Mon, 28 Aug 2000 13:52:38 +0200 wenzelm proper setup of iman.sty/extra.sty/ttbox.sty;
Wed, 28 Jul 1999 13:42:20 +0200 paulson simplifier and improved classical reasoner
Fri, 08 Jan 1999 14:02:04 +0100 paulson removal of FOL, ZF to a separate manual
Thu, 16 Jul 1998 11:50:01 +0200 paulson Got rid of obsolete "goal" commands.
Fri, 09 May 1997 19:41:17 +0200 wenzelm tuned ref to src;
Wed, 07 May 1997 18:36:13 +0200 wenzelm fixed ref to srcs;
Mon, 02 Jan 1995 12:16:12 +0100 wenzelm fixed minor typos;
Fri, 22 Apr 1994 18:43:49 +0200 lcp final Springer copy
Fri, 15 Apr 1994 13:33:19 +0200 lcp penultimate Springer draft
Wed, 23 Mar 1994 11:10:16 +0100 lcp first draft of Springer volume
Fri, 04 Feb 1994 10:32:27 +0100 lcp correction to cut tactics
Thu, 11 Nov 1993 13:18:49 +0100 lcp Various updates for Isabelle-93
Wed, 10 Nov 1993 05:00:57 +0100 lcp Initial revision
less more (0) tip