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 |