Nominal/Ex/LetRec2.thy
changeset 2998 f0fab367453a
parent 2950 0911cb7bf696
child 3029 6fd3fc3254ee
equal deleted inserted replaced
2997:132575f5bd26 2998:f0fab367453a