Nominal-General/nominal_library.ML
Thu, 19 Aug 2010 18:24:36 +0800 Christian Urban used @{const_name} hopefully everywhere
Wed, 18 Aug 2010 00:19:15 +0800 Christian Urban improved runtime slightly, by constructing an explicit size measure for the function definitions
Tue, 17 Aug 2010 18:00:55 +0800 Christian Urban deleted unused code
less more (0) -10 -3 tip