Nominal/Ex/LetFun.thy
changeset 2741 651355113eee
parent 2616 dd7490fdd998
child 2950 0911cb7bf696
equal deleted inserted replaced
2740:a9e63abf3feb 2741:651355113eee