src/Pure/pure_thy.ML
changeset 10548 e8c774c12105
parent 10453 ad91d022ab4c
child 10667 75a1c9575edb