doc-src/IsarRef/Thy/Inner_Syntax.thy
Mon, 18 Jun 2012 16:30:20 +0200 wenzelm more explicit section "Syntax transformations";
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;
less more (0) -30 -10 -3 tip