Nominal/Abs.thy
changeset 2449 6b51117b8955
parent 2447 76be909eaf04
child 2460 16d32eddc17f