Nominal/nominal_mutual.ML
2011-06-07 Christian Urban fixed problem with earlier commit about nominal_function_common; added facility for specifying an invariant - added a definition of frees_set which need a finiteness invariant
2011-06-05 Christian Urban added an option for an invariant (at the moment only a stub)
2011-05-10 Christian Urban updated to new Isabelle (> 9 May)
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