src/HOL/UNITY/Rename.thy
changeset 62378 85ed00c1fe7c
parent 62343 24106dc44def
child 63146 f1ecba0272f9