doc-src/IsarRef/generic.tex
Fri, 19 Oct 2007 12:21:32 +0200 ballarin Interpretation equations may have name and/or attribute.
Fri, 12 Oct 2007 08:20:43 +0200 haftmann added subclass command
Thu, 11 Oct 2007 00:33:43 +0200 wenzelm 'notation': allow structmixfix;
Wed, 10 Oct 2007 16:29:11 +0200 wenzelm added no_notation;
Fri, 05 Oct 2007 22:00:11 +0200 wenzelm tuned induct etc.;
Sun, 26 Aug 2007 01:19:20 +0200 kleing described 'rotated' attribute
Wed, 01 Aug 2007 16:55:37 +0200 wenzelm tuned config options: eliminated separate attribute "option";
less more (0) -100 -30 -10 -7 tip