Nominal/Lift.thy
changeset 1305 61319a9af976
parent 1291 24889782da92
child 1303 c28403308b34
equal deleted inserted replaced
1299:cbcd4997dac5 1305:61319a9af976