berghofe [Fri, 24 Jul 1998 13:19:38 +0200] rev 5184
Adapted to new datatype package.
berghofe [Fri, 24 Jul 1998 13:03:20 +0200] rev 5183
Adapted to new datatype package.
berghofe [Fri, 24 Jul 1998 13:02:01 +0200] rev 5182
Removed old datatype package.
berghofe [Fri, 24 Jul 1998 13:00:36 +0200] rev 5181
New theory Datatype. Needed as an ancestor when defining datatypes.
berghofe [Fri, 24 Jul 1998 12:55:05 +0200] rev 5180
Added new function add_typedef_i_no_def which doesn't add
definition of representing set to theory.
berghofe [Fri, 24 Jul 1998 12:53:04 +0200] rev 5179
Replaced Nat.thy by NatDef.thy because Nat.thy depends on
inductive_package.
berghofe [Fri, 24 Jul 1998 12:50:34 +0200] rev 5178
New primrec function definition package
berghofe [Fri, 24 Jul 1998 12:50:06 +0200] rev 5177
New datatype definition package