Nominal/Ex/Pi.thy
changeset 3177 c25e4c9481f2
parent 3097 b27e94db1b8a
child 3183 313e6f2cdd89