doc-src/IsarRef/syntax.tex
Sat, 15 Oct 2005 00:09:07 +0200 wenzelm added ML_type, ML_struct;
Sun, 28 Aug 2005 19:42:10 +0200 wenzelm ASCII back-quote no longer sym char;
Tue, 16 Aug 2005 13:42:19 +0200 wenzelm tuned antiquotations;
Sun, 05 Jun 2005 11:31:19 +0200 wenzelm tuned/updated antiquotations;
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;
less more (0) -30 -10 -7 tip