src/Pure/Tools/class_package.ML
Wed, 04 Jan 2006 17:04:11 +0100 haftmann substantial additions using locales
Tue, 03 Jan 2006 11:32:16 +0100 haftmann add_local_context now yields imported and body elements seperatly; additional slight clenup in code
Tue, 27 Dec 2005 15:24:40 +0100 haftmann substantial improvements in code generating
Fri, 09 Dec 2005 15:25:52 +0100 haftmann substantial improvements for class code generation
Tue, 06 Dec 2005 16:07:25 +0100 haftmann improved class handling
Fri, 02 Dec 2005 16:05:31 +0100 haftmann various improvements
Fri, 02 Dec 2005 08:06:59 +0100 haftmann introduced new map2, fold
Wed, 30 Nov 2005 18:13:31 +0100 haftmann minor improvements
Mon, 14 Nov 2005 15:15:34 +0100 haftmann class_package - operational view on type classes
Sun, 28 Aug 2005 10:05:03 +0200 haftmann (allocating new branch)
less more (0) tip