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