Nominal/Ex/Let_ExhaustIssue.thy
changeset 2966 fa37c2a33812
parent 2950 0911cb7bf696
child 3235 5ebd327ffb96