doc-src/IsarRef/Thy/Inner_Syntax.thy
Wed, 20 Jun 2012 20:50:04 +0200 wenzelm more on "Syntax translation functions";
less more (0) -30 -10 -1 tip