doc-src/IsarRef/Thy/Inner_Syntax.thy
Tue, 19 Jun 2012 22:06:08 +0200 wenzelm more on "Applying translation rules";
Tue, 19 Jun 2012 20:43:09 +0200 wenzelm more on syntax translations;
Mon, 18 Jun 2012 21:17:34 +0200 wenzelm more on "Abstract syntax trees";
Mon, 18 Jun 2012 16:30:20 +0200 wenzelm more explicit section "Syntax transformations";
less more (0) -30 -10 -4 tip