src/HOL/Tools/typedef_package.ML
Tue, 20 Oct 1998 16:37:02 +0200 wenzelm quiet_mode, message;
Fri, 24 Jul 1998 12:55:05 +0200 berghofe Added new function add_typedef_i_no_def which doesn't add
Wed, 01 Jul 1998 11:20:32 +0200 wenzelm added add_typedecls;
Wed, 27 May 1998 12:21:39 +0200 paulson Changed require to requires for MLWorks
Fri, 15 May 1998 11:34:12 +0200 wenzelm PureThy.add_typedecls;
Wed, 29 Apr 1998 11:39:52 +0200 wenzelm renamed from typedef.ML;
less more (0) tip