Nominal/Ex/SFT/Utils.thy
changeset 3003 8e8aabf01f52
parent 2898 a95a497e1f4f
child 3087 c95afd0dc594