Nominal/Rsp.thy
changeset 1276 3365fce80f0f
parent 1268 d1999540d23a
child 1278 8814494fe4da