Nominal/Ex/LetPat.thy
changeset 2677 72dfc74b6bd4
parent 2648 5d9724ad543d
child 2950 0911cb7bf696