src/Pure/Thy/term_style.ML
changeset 62337 d3996d5873dd
parent 61814 1ca1142e1711
child 62969 9f394a16c557