Nominal/nominal_function.ML
2011-04-06 Christian Urban changed default preprocessor that does not catch variables only occuring on the right
2011-03-16 Christian Urban ported changes from function package....needs Isabelle 16 March or above
2011-01-17 Christian Urban exported nominal function code to external file
less more (0) tip