Nominal/Ex/SingleLet.thy
changeset 2191 8fdfbec54229
parent 2146 a2f70c09e77d
child 2200 31f1ec832d39
child 2288 3b83960f9544
equal deleted inserted replaced
2190:0aeb0ea71ef1 2191:8fdfbec54229