| Wed, 31 Mar 1999 16:14:20 +0200 |
nipkow |
useless relic
|
file |
diff |
annotate
|
| Fri, 08 Jan 1999 14:02:04 +0100 |
paulson |
removal of FOL, ZF to a separate manual
|
file |
diff |
annotate
|
| Fri, 23 Oct 1998 16:46:33 +0200 |
paulson |
updated as requested by Markus
|
file |
diff |
annotate
|
| Tue, 28 Jul 1998 16:33:43 +0200 |
paulson |
Changed "goal" to "Goal"
|
file |
diff |
annotate
|
| Thu, 03 Jul 1997 17:10:50 +0200 |
paulson |
Updated references
|
file |
diff |
annotate
|
| Thu, 10 Apr 1997 18:07:27 +0200 |
paulson |
Updated discussion and references for inductive definitions
|
file |
diff |
annotate
|
| Wed, 08 Jan 1997 15:17:25 +0100 |
paulson |
New discussion of implicit simpsets & clasets
|
file |
diff |
annotate
|
| Thu, 25 Apr 1996 11:44:34 +0200 |
paulson |
automatic updates
|
file |
diff |
annotate
|
| Tue, 05 Mar 1996 11:00:48 +0100 |
paulson |
More up-to-date references
|
file |
diff |
annotate
|
| Fri, 16 Feb 1996 18:00:47 +0100 |
paulson |
Elimination of fully-functorial style.
|
file |
diff |
annotate
|
| Thu, 18 Jan 1996 10:38:29 +0100 |
paulson |
trivial updates
Isabelle94-5
|
file |
diff |
annotate
|
| Fri, 08 Dec 1995 13:22:55 +0100 |
paulson |
trivial, automatic changes
|
file |
diff |
annotate
|
| Fri, 14 Apr 1995 11:22:30 +0200 |
lcp |
Updated CADE reference
|
file |
diff |
annotate
|
| Wed, 25 Jan 1995 04:00:27 +0100 |
lcp |
changed due to new .bib files
|
file |
diff |
annotate
|
| Mon, 14 Nov 1994 10:41:25 +0100 |
lcp |
Added month for Coens thesis
|
file |
diff |
annotate
|
| Wed, 19 Oct 1994 09:39:23 +0100 |
lcp |
trivial update to reference
|
file |
diff |
annotate
|
| Wed, 12 Oct 1994 09:42:32 +0100 |
lcp |
Minor reference updates
|
file |
diff |
annotate
|
| Fri, 09 Sep 1994 12:34:54 +0200 |
lcp |
added Abrial and Laffitte; Kunen; Winskel, etc.
|
file |
diff |
annotate
|
| Tue, 03 May 1994 18:38:28 +0200 |
lcp |
final Springer version
|
file |
diff |
annotate
|
| Fri, 12 Nov 1993 10:41:13 +0100 |
lcp |
Misc updates
|
file |
diff |
annotate
|
| Wed, 10 Nov 1993 05:00:57 +0100 |
lcp |
Initial revision
|
file |
diff |
annotate
|