src/Pure/Isar/antiquote.ML
2000-06-25 ago Text with antiquotations of inner items (terms, types etc.).