doc-src/IsarRef/generic.tex
Tue, 31 Jul 2007 13:30:35 +0200 wenzelm added configuration options;
Sat, 28 Jul 2007 21:09:14 +0200 wenzelm commands 'declare', 'declaration';
Sat, 28 Jul 2007 20:40:17 +0200 wenzelm added command 'simproc_setup', attribute "simproc";
Mon, 23 Jul 2007 13:50:31 +0200 ballarin interpretation: unfolding of equations;
Sun, 08 Jul 2007 19:51:55 +0200 wenzelm attribute tagged: single argument;
Sat, 10 Feb 2007 09:26:12 +0100 haftmann adjusted to changes in class package
Sat, 09 Dec 2006 18:05:34 +0100 wenzelm added print_abbrevs;
less more (0) -100 -30 -10 -7 tip