src/HOL/UNITY/GenPrefix.thy
changeset 8434 5e4bba59bfaa
parent 6824 8f7bfd81a4c6
child 9382 7cea1cb9703e