doc-src/IsarRef/syntax.tex
Tue, 31 May 2005 11:53:11 +0200 wenzelm antiquotations: added options short_names, unique_names;
Wed, 25 May 2005 09:03:53 +0200 nipkow grammar
Sun, 22 May 2005 16:51:06 +0200 wenzelm tuned antiquotations;
Sat, 14 May 2005 21:31:13 +0200 haftmann added Proof.context to antiquotation
less more (0) -30 -10 -4 tip