src/HOL/Datatype.thy
1998-10-23 berghofe 1998-10-23 unit and bool are now represented as datatypes.
1998-10-21 berghofe 1998-10-21 Changed syntax of rep_datatype.
1998-07-24 berghofe 1998-07-24 New theory Datatype. Needed as an ancestor when defining datatypes.