Nominal/Ex/ExLetMult.thy
changeset 2031 d361a4699176
parent 1773 c0eac04ae3b4
child 2057 232595afb82e
equal deleted inserted replaced
2030:43d7612f1429 2031:d361a4699176