doc-src/IsarRef/syntax.tex
Sat, 28 Jul 2007 22:19:31 +0200 wenzelm tuned;
Sat, 28 Jul 2007 20:40:18 +0200 wenzelm added [[decl]] notation;
Sat, 09 Dec 2006 18:05:36 +0100 wenzelm added antiquotation abbrev;
less more (0) -30 -10 -3 tip