src/Pure/Isar/outer_parse.ML
1998-11-09 wenzelm 1998-11-09 Generic parsers for Isabelle/Isar outer syntax.