ExHOL_SpecialSyntax.thy revision 067b7cf571968fe8e91212059da1590c2dfa741a
theory ExHOL_SpecialSyntax
imports Datatype
begin
*}
text {*
Special Syntax (TODO)
Syntax modifications seem to be handled in http://isabelle.in.tum.de/repos/isabelle/file/6d736d983d5c/src/Pure/Syntax/syn_ext.ML
Especially http://isabelle.in.tum.de/repos/isabelle/file/6d736d983d5c/src/Pure/Syntax/syn_ext.ML#l243 seems to be important
*}
end