1 header {* \section{Concrete Syntax} *}
1 section {* Concrete Syntax *}
2
3 theory RG_Syntax
4 imports RG_Hoare Quote_Antiquote
5 begin
6