| Fri, 16 Jul 1999 13:24:41 +0200 | berghofe | - Now also supports arbitrarily branching datatypes. | changeset | files |
| Fri, 16 Jul 1999 12:14:04 +0200 | berghofe | - Datatype package now also supports arbitrarily branching datatypes | changeset | files |
| Fri, 16 Jul 1999 12:09:48 +0200 | berghofe | Added some definitions and theorems needed for the | changeset | files |
| Fri, 16 Jul 1999 12:02:06 +0200 | berghofe | Some rather large datatype examples (from John Harrison). | changeset | files |
| Thu, 15 Jul 1999 17:54:58 +0200 | wenzelm | improved print_thms; | changeset | files |
| Thu, 15 Jul 1999 17:53:28 +0200 | wenzelm | export init_state; | changeset | files |
| Thu, 15 Jul 1999 10:34:37 +0200 | paulson | more renaming of theorems from _nat to _int (corresponding to a function that | changeset | files |