src/HOL/Tools/datatype_package.ML
Fri, 16 Oct 1998 19:25:58 +0200 berghofe Fixed bug (improper handling of flag flat_names).
Fri, 16 Oct 1998 18:54:55 +0200 berghofe - Changed structure of name spaces
Sat, 26 Sep 1998 16:13:05 +0200 berghofe Package now chooses type variable names more carefully to
Thu, 06 Aug 1998 17:51:03 +0200 berghofe Improved well-formedness check.
Fri, 24 Jul 1998 12:50:06 +0200 berghofe New datatype definition package
less more (0) tip