src/HOL/Univ.ML
changeset 1868 836950047d85
parent 1786 8a31d85d27b8
child 1985 84cf16192e03