Nominal/Ex/Let_ExhaustIssue.thy
changeset 3124 528704b5830e
parent 2950 0911cb7bf696
child 3235 5ebd327ffb96
equal deleted inserted replaced
3123:998978623654 3124:528704b5830e