[isabelle] Asking for Isabelle/Isar language specification
I am Anh. In my current research, I parse and generate code in
Isabelle/Isar. I really need the language specification, especially the
syntax of Isabelle/Isar. In the current reference manual, the syntax of
the language is not fully described and it's really hard to get it from
separate parts of the manual.
It would be really helpful if someone shows me some source to get that
kind of information.
Thank you very much
This archive was generated by a fusion of
Pipermail (Mailman edition) and