Nominal/nominal_function_core.ML
2011-01-27 Christian Urban some experiments
2011-01-25 Christian Urban made eqvt-proof explicit in the function definitions
2011-01-18 Christian Urban deleted diagnostic code
2011-01-18 Christian Urban some tryes about substitution over type-schemes
2011-01-17 Christian Urban exported nominal function code to external file
less more (0) tip