src/HOL/Tools/typedef_package.ML
1999-01-12 wenzelm 1999-01-12 eliminated tthm type and Attribute structure;
1998-10-20 wenzelm 1998-10-20 quiet_mode, message;
1998-07-24 berghofe 1998-07-24 Added new function add_typedef_i_no_def which doesn't add definition of representing set to theory.
1998-07-01 wenzelm 1998-07-01 added add_typedecls;
1998-05-27 paulson 1998-05-27 Changed require to requires for MLWorks
1998-05-15 wenzelm 1998-05-15 PureThy.add_typedecls;
1998-04-29 wenzelm 1998-04-29 renamed from typedef.ML;