Nominal/Ex/LetSimple1.thy
changeset 3191 0440bc1a2438
parent 2950 0911cb7bf696
child 3235 5ebd327ffb96
equal deleted inserted replaced
3190:1b7c034c9e9e 3191:0440bc1a2438