[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.)
                                      thanks,
                                      Siddhartha





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