| Tue, 15 Sep 1998 15:06:29 +0200 |
paulson |
revised treatment of integers
|
file |
diff |
annotate
|
| Fri, 14 Feb 1997 10:57:17 +0100 |
paulson |
Deleted a useless definition
|
file |
diff |
annotate
|
| Tue, 26 Nov 1996 15:59:28 +0100 |
paulson |
New material from Norbert Voelker for efficient binary comparisons
|
file |
diff |
annotate
|
| Thu, 21 Nov 1996 15:28:25 +0100 |
paulson |
Tidied up some proofs, ...
|
file |
diff |
annotate
|
| Mon, 11 Mar 1996 11:49:05 +0100 |
clasohm |
added constdefs section
|
file |
diff |
annotate
|
| Mon, 05 Feb 1996 21:29:06 +0100 |
clasohm |
expanded tabs; incorporated Konrad's changes
|
file |
diff |
annotate
|
| Wed, 29 Nov 1995 17:01:41 +0100 |
clasohm |
removed quotes from consts and syntax sections
|
file |
diff |
annotate
|
| Wed, 21 Jun 1995 15:47:10 +0200 |
clasohm |
removed \...\ inside strings
|
file |
diff |
annotate
|
| Fri, 31 Mar 1995 15:08:49 +0200 |
wenzelm |
replaced 'arities' by 'instance';
|
file |
diff |
annotate
|
| Fri, 24 Mar 1995 12:30:35 +0100 |
clasohm |
changed syntax of tuples from <..., ...> to (..., ...)
|
file |
diff |
annotate
|
| Fri, 03 Mar 1995 12:04:45 +0100 |
clasohm |
new version of HOL/Integ with curried function application
|
file |
diff |
annotate
|