doc-src/Logics/CTT.tex
Wed, 09 Jan 2002 13:43:05 +0100 paulson changed the index sort key from |-| to just |- because pdflatex can't cope
Mon, 28 Aug 2000 13:52:38 +0200 wenzelm proper setup of iman.sty/extra.sty/ttbox.sty;
Tue, 03 Aug 1999 13:05:54 +0200 paulson \underscoreoff needed because of \underscoreon in previous file
Wed, 03 Feb 1999 13:23:24 +0100 paulson standard spelling: type-checking
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.
Wed, 07 May 1997 18:35:56 +0200 wenzelm fixed caption font;
Wed, 07 May 1997 17:16:36 +0200 paulson stylistic improvements
Fri, 02 May 1997 16:18:49 +0200 berghofe Updated to LaTeX 2e
Tue, 28 Mar 1995 10:24:45 +0200 lcp Corrected faulty reference to Hindley-Milner type inference
Fri, 22 Apr 1994 18:43:49 +0200 lcp final Springer copy
Fri, 15 Apr 1994 12:54:22 +0200 lcp penultimate Springer draft
Sat, 19 Mar 1994 03:01:25 +0100 lcp First draft of Springer book
Thu, 25 Nov 1993 15:15:53 +0100 wenzelm corrected obvious errors;
Fri, 12 Nov 1993 10:41:13 +0100 lcp Misc updates
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