| 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
|