Wed, 25 Oct 1995 12:53:53 +0100 |
clasohm |
added init_html and make_chart
|
file |
diff |
annotate
|
Tue, 17 Oct 1995 17:00:10 +0100 |
regensbu |
removed incompatibility with sml
|
file |
diff |
annotate
|
Fri, 06 Oct 1995 17:25:24 +0100 |
regensbu |
added 8bit pragmas
|
file |
diff |
annotate
|
Wed, 04 Oct 1995 14:01:44 +0100 |
clasohm |
added local simpsets
|
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
|
Fri, 17 Mar 1995 15:35:09 +0100 |
regensbu |
Removed bugs which occurred due to new generation mechanism for type variables
|
file |
diff |
annotate
|
Thu, 06 Oct 1994 18:40:18 +0100 |
nipkow |
New version
|
file |
diff |
annotate
|
Thu, 19 May 1994 17:06:24 +0200 |
wenzelm |
thy reader now initialised by init_thy_reader();
|
file |
diff |
annotate
|
Thu, 24 Mar 1994 13:36:34 +0100 |
nipkow |
Franz fragen
|
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
|