Nominal/nominal_dt_rawfuns.ML
2010-09-10 Christian Urban tuned (to conform with indentation policy of Markus)
2010-09-03 Christian Urban made the fv-definition aggree more with alpha (needed in the support proofs)
2010-08-26 Christian Urban corrected bug with fv-function generation (that was the problem with recursive binders)
2010-08-25 Christian Urban can now deal with type variables in nominal datatype definitions
2010-08-17 Christian Urban improved runtime slightly, by constructing an explicit size measure for the function definitions
2010-08-17 Christian Urban more tuning of the code
2010-08-17 Christian Urban improved code
less more (0) -10 -7 tip