src/Pure/Thy/thy_header.ML
changeset 66787 64b47495676d
parent 65999 ee4cf96a9406
child 66771 925d10a7a610