src/HOL/Tools/datatype_aux.ML
1998-11-16 wenzelm 1998-11-16 Attribute.tthms_of;
1998-10-16 berghofe 1998-10-16 - Changed structure of name spaces - Proofs for datatypes with unneeded parameters are working now - added additional parameter flat_names - added quiet_mode flag
1998-07-24 berghofe 1998-07-24 New datatype definition package