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;
less more (0) -100 -30 -10 -3 tip