src/Pure/Isar/antiquote.ML
changeset 15666 5c5925dc4921
parent 14981 e73f8140af78
child 19305 5c16895d548b
equal deleted inserted replaced
15665:7e7412fffc0c 15666:5c5925dc4921