Nominal-General/nominal_library.ML
changeset 2411 dceaf2d9fedd
parent 2410 2bbdb9c427b5
child 2420 f2d4dae2a10b