src/HOL/UNITY/Simple/Common.thy
changeset 19404 9bf2cdc9e8e8
parent 18556 dc39832e9280
child 21026 3b2821e0d541