| Wed, 20 Dec 1995 16:28:51 +0100 |
regensbu |
changed predicate flat to is_flat in theory Fix.thy
|
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
|
| Tue, 07 Feb 1995 11:59:32 +0100 |
clasohm |
added qed, qed_goal[w]
|
file |
diff |
annotate
|
| Mon, 10 Oct 1994 18:09:58 +0100 |
nipkow |
corrected problems with changed binding power of ::.
|
file |
diff |
annotate
|
| Thu, 06 Oct 1994 18:40:18 +0100 |
nipkow |
New version
|
file |
diff |
annotate
|
| Wed, 29 Jun 1994 12:03:41 +0200 |
clasohm |
added parentheses made necessary by change of constrain's precedence
|
file |
diff |
annotate
|
| Mon, 20 Jun 1994 12:03:16 +0200 |
nipkow |
Franz Regensburger's changes.
|
file |
diff |
annotate
|
| Thu, 24 Mar 1994 15:23:02 +0100 |
nipkow |
removed inconsistency with new HOL version
|
file |
diff |
annotate
|
| Thu, 24 Mar 1994 13:36:34 +0100 |
nipkow |
Franz fragen
|
file |
diff |
annotate
|
| Wed, 16 Feb 1994 15:17:15 +0100 |
nipkow |
minor update because HOL-lemma changed
|
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
|