src/HOL/Tools/datatype_prop.ML
1998-10-20 wenzelm 1998-10-20 fixed Syntax module;
1998-09-26 berghofe 1998-09-26 Package now chooses type variable names more carefully to avoid clashes with user-supplied type variable names.
1998-07-24 berghofe 1998-07-24 New datatype definition package