src/Pure/Thy/present.ML
changeset 66787 64b47495676d
parent 66680 74a1b722507e
child 66945 b6f787a17fbe