Nominal/Ex/ExLetMult.thy
changeset 1801 6d2a39db3862
parent 1773 c0eac04ae3b4
child 2057 232595afb82e