wenzelm [Tue, 17 Feb 2009 22:46:41 +0100] rev 30089
some more Isar macros;
wenzelm [Mon, 16 Feb 2009 21:39:52 +0100] rev 30088
updated genereted files;
wenzelm [Mon, 16 Feb 2009 21:39:19 +0100] rev 30087
minor tuning and typographic fixes;
wenzelm [Mon, 16 Feb 2009 21:23:34 +0100] rev 30086
tuned refs;
wenzelm [Mon, 16 Feb 2009 21:23:34 +0100] rev 30085
removed rudiments of glossary;
tuned outline;
wenzelm [Mon, 16 Feb 2009 21:23:33 +0100] rev 30084
removed rudiments of glossary;
wenzelm [Mon, 16 Feb 2009 21:04:15 +0100] rev 30083
removed unused glossary macros;
wenzelm [Mon, 16 Feb 2009 20:49:39 +0100] rev 30082
updated generated files;
wenzelm [Mon, 16 Feb 2009 20:47:44 +0100] rev 30081
observe usual theory naming conventions;
wenzelm [Mon, 16 Feb 2009 20:25:21 +0100] rev 30080
updated generated files;