Nominal/Ex/LetFun.thy
changeset 2502 074304d56eb2
parent 2475 486d4647bb37
child 2616 dd7490fdd998