[isabelle] Isabelle-Isar grammar?

        I was wondering if there was a document giving a grammar for
Isabelle-Isar similar to the Mizar one at
http://mizar.uwb.edu.pl/version/current/doc/syntax.txt? The
Isabelle/Isar Quick reference is very elegant : what I was looking for
was the same at lower levels as well (e.g. the internal type system
defining theorem etc.)

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.