| Fri, 24 Jul 1998 13:44:27 +0200 |
berghofe |
Adapted to new datatype package.
|
file |
diff |
annotate
|
| Sun, 25 May 1997 18:45:25 +0200 |
slotosch |
Eliminated ccc1. Moved ID,oo into Cfun.
|
file |
diff |
annotate
|
| Sun, 25 May 1997 11:07:52 +0200 |
slotosch |
eliminated the constant less by the introduction of the axclass sq_ord
|
file |
diff |
annotate
|
| Thu, 24 Apr 1997 17:38:33 +0200 |
mueller |
only in comments
|
file |
diff |
annotate
|
| Mon, 17 Feb 1997 10:57:11 +0100 |
slotosch |
Changes of HOLCF from Oscar Slotosch:
|
file |
diff |
annotate
|
| Fri, 13 Dec 1996 18:45:58 +0100 |
oheimb |
adaptions for symbol font
|
file |
diff |
annotate
|
| Mon, 09 Dec 1996 19:27:07 +0100 |
sandnerr |
Headers added
|
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
|
| Thu, 29 Jun 1995 16:28:40 +0200 |
regensbu |
The curried version of HOLCF is now just called HOLCF. The old
|
file |
diff |
annotate
|
| Wed, 21 Jun 1995 15:14:58 +0200 |
clasohm |
removed \...\ inside strings
|
file |
diff |
annotate
|
| Mon, 22 Aug 1994 11:03:52 +0200 |
lcp |
HOLCF/Lift1.thy: now imports Sum
|
file |
diff |
annotate
|
| Thu, 18 Aug 1994 12:56:57 +0200 |
lcp |
HOLCF/Lift1.thy: updated for new sum_case by using "case" syntax
|
file |
diff |
annotate
|
| Wed, 26 Jan 1994 22:07:06 +0100 |
nipkow |
case was renamed to sum_case
|
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
|