| Fri, 16 Jul 1999 14:03:03 +0200 | berghofe | Infinitely branching trees. | changeset | files |
| Fri, 16 Jul 1999 13:25:45 +0200 | berghofe | Replaced datatype_info by datatype_info_err. | changeset | files |
| 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 |