src/Pure/Isar/isar_syn.ML
1998-11-09 ago Pure outer syntax.