Nominal/Ex/Let_ExhaustIssue.thy
changeset 3039 3941fa3f179a
parent 2950 0911cb7bf696
child 3235 5ebd327ffb96