Nominal/Test.thy
changeset 1485 c004e7448dca
parent 1483 2ca8e43b53c5
child 1486 f86710d35146