Nominal/Ex/ExLetRec.thy
changeset 2042 495b6feb76a8
parent 2041 3842464ee03b
child 2067 ace7775cbd04