Nominal/Ex/LetRec.thy
changeset 2968 ddb69d9f45d0
parent 2950 0911cb7bf696
child 2971 d629240f0f63