Nominal/Ex/ExLetMult.thy
changeset 1869 b5776e0a015f
parent 1773 c0eac04ae3b4
child 2057 232595afb82e