| Fri, 24 Jul 1998 13:00:36 +0200 | berghofe | New theory Datatype. Needed as an ancestor when defining datatypes. | changeset | files |
| Fri, 24 Jul 1998 12:55:05 +0200 | berghofe | Added new function add_typedef_i_no_def which doesn't add | changeset | files |
| Fri, 24 Jul 1998 12:53:04 +0200 | berghofe | Replaced Nat.thy by NatDef.thy because Nat.thy depends on | changeset | files |