changeset 60096 | 7b98dbc1d13e |
parent 60095 | 35f626b11422 |
child 60189 | 0d3a62127057 |
--- a/src/Pure/pure_syn.ML Thu Apr 16 15:00:03 2015 +0200 +++ b/src/Pure/pure_syn.ML Thu Apr 16 15:11:04 2015 +0200 @@ -1,7 +1,8 @@ (* Title: Pure/pure_syn.ML Author: Makarius -Outer syntax for bootstrapping Isabelle/Pure. +Outer syntax for bootstrapping: commands that are accessible outside a +regular theory context. *) signature PURE_SYN =