src/Pure/Thy/term_style.ML
changeset 44574 24444588fddd
parent 43277 1fd31f859fc7
child 50592 a39250169636