Nominal/Ex/ExLetMult.thy
changeset 2026 7f504136149b
parent 1773 c0eac04ae3b4
child 2057 232595afb82e
equal deleted inserted replaced
2025:070ba8972e97 2026:7f504136149b