src/HOL/Trancl.ML
changeset 1868 836950047d85
parent 1786 8a31d85d27b8
child 1921 56a77911efe4