src/HOL/Tools/typecopy_package.ML
Wed, 04 Oct 2006 14:17:46 +0200 haftmann clarified header comments
Mon, 02 Oct 2006 23:00:51 +0200 haftmann tuned
Tue, 19 Sep 2006 15:22:05 +0200 haftmann code generation 2 adjustments
Wed, 06 Sep 2006 10:01:04 +0200 haftmann TypedefPackage.add_typedef_* now yields name of introduced type constructor
Tue, 29 Aug 2006 14:31:13 +0200 haftmann added typecopy_package
less more (0) tip