Nominal-General/nominal_library.ML
changeset 1852 13bc3f41ad8d
parent 1834 9909cc3566c5
child 1871 c704d129862b