Nominal-General/nominal_library.ML
changeset 2431 331873ebc5cd
parent 2420 f2d4dae2a10b
child 2446 63c936b09764