Nominal/Ex/SFT/Theorem.thy
changeset 2895 65efa1c7563c
parent 2894 8ec94871de1e
child 2898 a95a497e1f4f