| Thu, 30 Oct 1997 14:19:01 +0100 |
oheimb |
domain package:
|
file |
diff |
annotate
|
| Mon, 27 Oct 1997 11:34:33 +0100 |
oheimb |
adapted domain and ax_ops package for name spaces
|
file |
diff |
annotate
|
| Fri, 06 Jun 1997 16:02:13 +0200 |
oheimb |
improved function 'nonreserved'
|
file |
diff |
annotate
|
| Tue, 13 May 1997 15:02:19 +0200 |
oheimb |
corrected problem with type abbreviations in pcpo_type
|
file |
diff |
annotate
|
| Tue, 04 Mar 1997 10:58:29 +0100 |
paulson |
Renamed constant "not" to "Not"
|
file |
diff |
annotate
|
| Wed, 18 Dec 1996 15:19:42 +0100 |
oheimb |
The previous log message was wrong. The correct one is:
|
file |
diff |
annotate
|
| Wed, 18 Dec 1996 15:16:13 +0100 |
oheimb |
removed Holcfb.thy and Holcfb.ML, moving classical3 to HOL.ML as classical2
|
file |
diff |
annotate
|
| Fri, 29 Nov 1996 12:16:57 +0100 |
oheimb |
modified file headers
|
file |
diff |
annotate
|
| Wed, 27 Nov 1996 10:40:45 +0100 |
paulson |
Eta-expanded some declarations that are illegal under value polymorphism
|
file |
diff |
annotate
|
| Thu, 27 Jun 1996 15:24:17 +0200 |
oheimb |
re-added when_funs to library.ML
|
file |
diff |
annotate
|
| Wed, 26 Jun 1996 17:37:34 +0200 |
oheimb |
when_funs removed
|
file |
diff |
annotate
|
| Fri, 21 Jun 1996 11:57:00 +0200 |
oheimb |
minor fix of index_vnames: name "O" is occupied (used in HOL/Relation.thy)
|
file |
diff |
annotate
|
| Wed, 03 Apr 1996 19:27:14 +0200 |
oheimb |
Updated: 01-Mar-96 when functional strictified, copy_def based on when_def
|
file |
diff |
annotate
|
| Tue, 30 Jan 1996 13:42:57 +0100 |
clasohm |
expanded tabs
|
file |
diff |
annotate
|
| Fri, 06 Oct 1995 17:25:24 +0100 |
regensbu |
added 8bit pragmas
|
file |
diff |
annotate
|