Nominal/ExLet.thy
changeset 1632 68c8666453f7
parent 1602 a7e60da429e2
child 1638 36798cdbc452
equal deleted inserted replaced
1631:e94bfef17bb8 1632:68c8666453f7