| Mon, 02 May 2011 22:31:46 +0200 | wenzelm | eliminated old CVS Ids; | file | diff | annotate |
| Wed, 13 Aug 2003 17:44:01 +0200 | paulson | corrections by Viktor Kuncak and minor updating | file | diff | annotate |
| Mon, 28 Aug 2000 13:52:38 +0200 | wenzelm | proper setup of iman.sty/extra.sty/ttbox.sty; | file | diff | annotate |
| Tue, 28 Jul 1998 16:33:43 +0200 | paulson | Changed "goal" to "Goal" | file | diff | annotate |
| Wed, 02 Jul 1997 16:46:36 +0200 | paulson | Now there are TWO spaces after each full stop, so that the Emacs sentence | file | diff | annotate |
| Fri, 16 May 1997 15:50:24 +0200 | wenzelm | hint at more sections; | file | diff | annotate |
| Tue, 06 May 1997 13:49:29 +0200 | wenzelm | fixed simplifier ex; | file | diff | annotate |
| Mon, 05 May 1997 18:50:26 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 05 May 1997 13:24:11 +0200 | wenzelm | misc updates, tuning, cleanup; | file | diff | annotate |
| Mon, 12 Aug 1996 16:25:08 +0200 | paulson | Rewording: parameters->arguments! | file | diff | annotate |
| Thu, 04 Apr 1996 18:01:26 +0200 | nipkow | Added 'constdefs' and extended the section on 'defs' | file | diff | annotate |
| Wed, 31 Jan 1996 17:15:03 +0100 | nipkow | right-hard -> right-hand | file | diff | annotate |
| Wed, 31 Jan 1996 15:02:26 +0100 | nipkow | Typo | file | diff | annotate |
| Thu, 07 Dec 1995 14:24:32 +0100 | clasohm | removed quotes from syntax and consts sections | file | diff | annotate |
| Fri, 24 Nov 1995 09:27:19 +0100 | nipkow | Inserted warning about defs with extra vars on rhs. | file | diff | annotate |
| Tue, 25 Jul 1995 16:50:48 +0200 | lcp | trivial update | file | diff | annotate |
| Wed, 03 May 1995 12:04:21 +0200 | lcp | Covers defs and re-ordering of theory sections | file | diff | annotate |
| Mon, 02 Jan 1995 12:16:12 +0100 | wenzelm | fixed minor typos; | file | diff | annotate |
| Mon, 11 Jul 1994 18:26:57 +0200 | lcp | minor edits | file | diff | annotate |
| Tue, 03 May 1994 10:40:24 +0200 | lcp | post-CRC corrections | file | diff | annotate |
| Fri, 22 Apr 1994 18:08:57 +0200 | lcp | final Springer copy | file | diff | annotate |
| Fri, 15 Apr 1994 11:35:44 +0200 | lcp | penultimate Springer draft | file | diff | annotate |
| Mon, 04 Apr 1994 17:09:45 +0200 | lcp | modifications towards final draft | file | diff | annotate |
| Thu, 24 Mar 1994 18:00:11 +0100 | nipkow | added section on type synonyms | file | diff | annotate |
| Thu, 24 Mar 1994 13:25:12 +0100 | lcp | revisions to first Springer draft | file | diff | annotate |
| Sat, 19 Mar 1994 03:01:25 +0100 | lcp | First draft of Springer book | file | diff | annotate |
| Fri, 26 Nov 1993 12:31:48 +0100 | lcp | Corrected errors found by Marcus Wenzel. | file | diff | annotate |
| Thu, 11 Nov 1993 10:55:59 +0100 | clasohm | adapted "Defining theories" to new use_thy | file | diff | annotate |
| Wed, 10 Nov 1993 05:06:55 +0100 | lcp | Initial revision | file | diff | annotate |