Nominal/nominal_function_core.ML
Wed, 01 Jun 2011 21:03:30 +0100 Christian Urban first test to fix the problem with free variables
less more (0) -10 -1 tip