Nominal/nominal_function.ML
changeset 2750 43283267737c
parent 2745 34df2cffe259
child 2752 9f44608ea28d
equal deleted inserted replaced
2749:7cf2d79d8d5e 2750:43283267737c