| Sat, 02 Apr 2005 00:12:38 +0200 |
huffman |
converted to new-style theory
|
file |
diff |
annotate
|
| Fri, 04 Mar 2005 23:12:36 +0100 |
huffman |
converted to new-style theories, and combined numbered files
|
file |
diff |
annotate
|
| Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
| Sat, 03 Nov 2001 01:41:26 +0100 |
wenzelm |
GPLed;
|
file |
diff |
annotate
|
| Sun, 25 May 1997 18:45:25 +0200 |
slotosch |
Eliminated ccc1. Moved ID,oo into Cfun.
|
file |
diff |
annotate
|
| Wed, 26 Mar 1997 17:58:48 +0100 |
nipkow |
Added "discrete" CPOs and modified IMP to use those rather than "lift"
|
file |
diff |
annotate
|
| Mon, 17 Feb 1997 10:57:11 +0100 |
slotosch |
Changes of HOLCF from Oscar Slotosch:
|
file |
diff |
annotate
|
| Mon, 09 Dec 1996 19:16:20 +0100 |
sandnerr |
Theories Lift1, Lift2 and Lift3 inserted below HOLCF.thy
|
file |
diff |
annotate
|
| Tue, 06 Feb 1996 12:42:31 +0100 |
clasohm |
expanded tabs
|
file |
diff |
annotate
|
| Fri, 06 Oct 1995 17:25:24 +0100 |
regensbu |
added 8bit pragmas
|
file |
diff |
annotate
|
| Wed, 19 Jan 1994 17:35:01 +0100 |
nipkow |
Franz Regensburger's Higher-Order Logic of Computable Functions embedding LCF
|
file |
diff |
annotate
|