doc-src/IsarRef/generic.tex
Mon, 10 Mar 2008 21:51:42 +0100 haftmann adjusted to current implementation
Wed, 09 Jan 2008 20:25:18 +0100 haftmann overloading target
Wed, 09 Jan 2008 08:57:12 +0100 haftmann tuned
Wed, 09 Jan 2008 08:04:40 +0100 haftmann a note on syntax in class context
Wed, 05 Dec 2007 14:32:17 +0100 haftmann tuned class parts
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
less more (0) -100 -30 -10 -7 tip