Nominal-General/nominal_library.ML
Wed, 10 Nov 2010 13:46:21 +0000 Christian Urban adapted to changes by Florian on the quotient package and removed local fix for function package
Sun, 07 Nov 2010 11:22:31 +0000 Christian Urban fixed locally the problem with the function package; all tests work again
less more (0) -30 -10 -2 tip