| Fri, 22 Nov 1996 17:46:31 +0100 |
paulson |
Updating of a reference (Ch. Paulin)
|
file |
diff |
annotate
|
| Wed, 30 Oct 1996 11:15:09 +0100 |
paulson |
Updated references
|
file |
diff |
annotate
|
| Wed, 17 Jul 1996 15:25:50 +0200 |
paulson |
Edited in response to referees comments; new references
|
file |
diff |
annotate
|
| Fri, 28 Jun 1996 11:19:56 +0200 |
paulson |
Updated reference to Slinds paper on TFL
|
file |
diff |
annotate
|
| Thu, 25 Apr 1996 11:44:34 +0200 |
paulson |
automatic updates
|
file |
diff |
annotate
|
| Tue, 05 Mar 1996 10:58:52 +0100 |
paulson |
Fuller and more up-to-date references
|
file |
diff |
annotate
|
| Thu, 18 Jan 1996 10:38:29 +0100 |
paulson |
trivial updates
Isabelle94-5
|
file |
diff |
annotate
|
| Tue, 25 Jul 1995 16:43:55 +0200 |
lcp |
trivial update
|
file |
diff |
annotate
|
| Tue, 13 Sep 1994 10:26:24 +0200 |
lcp |
minor updates
|
file |
diff |
annotate
|
| Wed, 23 Mar 1994 13:05:12 +0100 |
lcp |
first draft of Springer volume
|
file |
diff |
annotate
|
| Wed, 10 Nov 1993 05:00:57 +0100 |
lcp |
Initial revision
|
file |
diff |
annotate
|