src/Pure/Tools/class_package.ML
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