Nominal/Ex/ExLetMult.thy
changeset 2100 705dc7532ee3
parent 2082 0854af516f14
child 2104 2205b572bc9b
equal deleted inserted replaced
2099:9454feb74b45 2100:705dc7532ee3