doc-src/isar.sty
Mon, 14 Aug 2006 13:46:05 +0200 haftmann added passage on class package
Tue, 04 Jul 2006 18:39:57 +0200 wenzelm added 'unfolding';
Thu, 02 Feb 2006 16:31:30 +0100 wenzelm index elements;
Wed, 01 Jun 2005 12:30:49 +0200 ballarin Locales: new element constrains, parameter renaming with syntax,
Thu, 07 Mar 2002 23:21:19 +0100 wenzelm tuned;
Mon, 04 Mar 2002 19:06:01 +0100 wenzelm \SHOWS;
Thu, 28 Feb 2002 18:11:11 +0100 wenzelm updated;
less more (0) -30 -10 -7 tip