doc-src/IsarRef/Thy/Inner_Syntax.thy
Sun, 05 Feb 2012 21:00:38 +0100 wenzelm updated section on raw syntax;
Sun, 05 Feb 2012 18:11:19 +0100 wenzelm updated section about syntax ambiguity;
Sat, 04 Feb 2012 18:33:04 +0100 wenzelm updated/unified section on mixfix annotations;
Sat, 04 Feb 2012 16:08:19 +0100 wenzelm tuned;
less more (0) -30 -10 -4 tip