doc-src/IsarRef/isar-ref.tex
Thu, 13 Nov 2008 21:57:50 +0100 wenzelm updated and elaborated Pure grammer;
Thu, 13 Nov 2008 21:48:19 +0100 wenzelm separate chapter "Inner syntax --- the term language";
Thu, 13 Nov 2008 21:33:56 +0100 wenzelm moved section "Document preparation" to front;
less more (0) -30 -10 -3 tip