Nominal/Ex/SFT/Theorem.thy
changeset 3012 e2c4ee6e3ee7
parent 2898 a95a497e1f4f
child 3087 c95afd0dc594
equal deleted inserted replaced
3011:a33e96e62a2b 3012:e2c4ee6e3ee7