doc-src/IsarRef/Thy/Inner_Syntax.thy
Fri, 17 Feb 2012 15:42:26 +0100 wenzelm simplified configuration options for syntax ambiguity;
Thu, 16 Feb 2012 22:18:28 +0100 wenzelm simplified configuration options for syntax ambiguity;
Wed, 15 Feb 2012 21:29:23 +0100 wenzelm clarified outer syntax "constdecl", which is only local to some rail diagrams;
less more (0) -30 -10 -3 tip