Nominal/Ex/LetRec.thy
changeset 2774 d19bfc6e7631
parent 2454 9ffee4eb1ae1
child 2877 3e82c1ced5e4
equal deleted inserted replaced
2773:d29a8a6f3138 2774:d19bfc6e7631