src/Pure/pure_thy.ML
changeset 14722 8e739a6eaf11
parent 14669 00b9a5073b01
child 14854 61bdf2ae4dc5