Nominal/nominal_function_core.ML
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