| 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 |
| Mon, 19 Nov 2001 23:37:01 +0100 | wenzelm | improved treatment of common result name; | changeset | files |
| Mon, 19 Nov 2001 20:47:57 +0100 | wenzelm | tuned; | changeset | files |