Wed, 21 Nov 2001 00:33:40 +0100 |
wenzelm |
got rid of theory Inverse_Image;
|
changeset |
files
|
Wed, 21 Nov 2001 00:33:04 +0100 |
wenzelm |
theory Inverse_Image converted and moved to Set;
|
changeset |
files
|
Wed, 21 Nov 2001 00:32:10 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
Tue, 20 Nov 2001 22:54:06 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
Tue, 20 Nov 2001 22:53:50 +0100 |
wenzelm |
fixed links etc.;
|
changeset |
files
|
Tue, 20 Nov 2001 22:53:05 +0100 |
wenzelm |
* HOL/record: cases/induct for more parts;
|
changeset |
files
|
Tue, 20 Nov 2001 20:57:46 +0100 |
wenzelm |
prefer later trfuns;
|
changeset |
files
|
Tue, 20 Nov 2001 20:57:07 +0100 |
wenzelm |
moved prefixes1, suffixes1 to library.ML;
|
changeset |
files
|
Tue, 20 Nov 2001 20:56:42 +0100 |
wenzelm |
trfuns *after* binder syntax;
|
changeset |
files
|
Tue, 20 Nov 2001 20:56:13 +0100 |
wenzelm |
added prefixes1, suffixes1;
|
changeset |
files
|
Tue, 20 Nov 2001 20:55:50 +0100 |
wenzelm |
print_depth 10;
|
changeset |
files
|
Tue, 20 Nov 2001 20:55:33 +0100 |
wenzelm |
derive cases/induct rules for ``more'' parts;
|
changeset |
files
|
Tue, 20 Nov 2001 20:54:12 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
Tue, 20 Nov 2001 10:48:38 +0100 |
paulson |
Hyperreal
|
changeset |
files
|