src/Pure/pure_thy.ML
changeset 62337 d3996d5873dd
parent 62107 f74a33b14200
child 62529 8b7bdfc09f3b