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;
Tue, 14 Nov 2006 15:29:50 +0100 wenzelm tuned antiquotation theory;
Mon, 13 Nov 2006 20:08:20 +0100 wenzelm added antiquotation @{theory name};
Thu, 13 Jul 2006 13:41:53 +0200 wenzelm removed colon from sym category;
Sun, 07 May 2006 00:44:50 +0200 wenzelm removed 'concl is' pattern;
less more (0) -30 -10 -7 tip