Nominal/Test.thy
changeset 1678 23f81992da8f
parent 1655 9cec4269b7f9