Nominal/Ex/LetRec.thy
changeset 2814 887d8bd4eb99
parent 2454 9ffee4eb1ae1
child 2877 3e82c1ced5e4
equal deleted inserted replaced
2813:1d55a607c81b 2814:887d8bd4eb99