Nominal/Ex/CPS/Lt.thy
changeset 2975 c62e26830420
parent 2963 8b22497c25b9
child 2984 1b39ba5db2c1
equal deleted inserted replaced
2974:b95a2065aa10 2975:c62e26830420