changeset 52546 | 7118524a2a24 |
parent 52438 | 7b5a5116f3af |
child 52549 | 802576856527 |
--- a/src/Pure/Isar/isar_syn.ML Sun Jul 07 10:24:00 2013 +0200 +++ b/src/Pure/Isar/isar_syn.ML Sun Jul 07 17:30:16 2013 +0200 @@ -1,7 +1,7 @@ (* Title: Pure/Isar/isar_syn.ML - Author: Markus Wenzel, TU Muenchen + Author: Makarius -Isar/Pure outer syntax. +Outer syntax for Isabelle/Pure. *) structure Isar_Syn: sig end =