| Wed, 09 Sep 1998 16:21:08 +0200 |
oheimb |
renamed sswhen to sscase
|
file |
diff |
annotate
|
| Wed, 12 Aug 1998 14:56:56 +0200 |
oheimb |
minor correction: n must not be used as free variable
|
file |
diff |
annotate
|
| Wed, 12 Aug 1998 12:17:20 +0200 |
slotosch |
eliminated fabs,fapp.
|
file |
diff |
annotate
|
| Fri, 03 Apr 1998 13:30:49 +0200 |
oheimb |
repaired incompatibility with new SML version by eta-expansion
|
file |
diff |
annotate
|
| Tue, 24 Mar 1998 15:54:42 +0100 |
oheimb |
added cproj', and therefore extended prj
|
file |
diff |
annotate
|
| Mon, 09 Mar 1998 16:16:21 +0100 |
wenzelm |
Symbol.explode;
|
file |
diff |
annotate
|
| Fri, 07 Nov 1997 18:02:15 +0100 |
oheimb |
changed libraray function find to find_index_eq, currying it
|
file |
diff |
annotate
|
| Tue, 04 Nov 1997 14:40:29 +0100 |
oheimb |
* removed "axioms" and "generated by" section
|
file |
diff |
annotate
|
| 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
|