doc-src/IsarRef/Thy/Inner_Syntax.thy
Thu, 20 Nov 2008 00:03:47 +0100 wenzelm Pure syntax: more coherent treatment of aprop, permanent TERM and &&&;
Thu, 13 Nov 2008 22:02:18 +0100 wenzelm separate section "Inspecting the syntax" for print_syntax;
Thu, 13 Nov 2008 22:01:30 +0100 wenzelm misc tuning of inner syntax;
Thu, 13 Nov 2008 22:00:39 +0100 wenzelm added inner lexical syntax, reusing outer one;
Thu, 13 Nov 2008 21:59:02 +0100 wenzelm more tuning of Pure grammer;
Thu, 13 Nov 2008 21:57:50 +0100 wenzelm updated and elaborated Pure grammer;
Thu, 13 Nov 2008 21:57:20 +0100 wenzelm added Pure grammer (from old ref manual);
less more (0) -10 -7 tip