src/Pure/General/antiquote.ML
changeset 59620 92d7d8e4f1bf
parent 59112 e670969f34df
child 61434 46d6586eb04c