src/ZF/UNITY/GenPrefix.thy
changeset 21999 0cf192e489e2
parent 15634 bca33c49b083
child 24892 c663e675e177