changeset 46282 | 83864b045a72 |
parent 42705 | 528a2ba8fa74 |
child 47114 | 7c9e31ffcd9e |
--- a/doc-src/IsarRef/Thy/Outer_Syntax.thy Thu Feb 02 17:52:16 2012 +0100 +++ b/doc-src/IsarRef/Thy/Outer_Syntax.thy Thu Feb 02 18:11:42 2012 +0100 @@ -2,7 +2,7 @@ imports Base Main begin -chapter {* Outer syntax *} +chapter {* Outer syntax --- the theory language *} text {* The rather generic framework of Isabelle/Isar syntax emerges from