wenzelm [Wed, 31 Aug 2005 15:46:36 +0200] rev 17199
moved lemmas that require the HOL-Complex logic image to Complex/ex/BigO_Complex.thy;
tuned presentation;
wenzelm [Wed, 31 Aug 2005 15:46:35 +0200] rev 17198
added Complex/ex/BigO_Complex.thy;
wenzelm [Wed, 31 Aug 2005 15:46:34 +0200] rev 17197
simp_implies: proper named infix;
wenzelm [Wed, 31 Aug 2005 15:46:33 +0200] rev 17196
tuned;
wenzelm [Wed, 31 Aug 2005 15:46:32 +0200] rev 17195
isatool usedir: added option -C;
wenzelm [Wed, 31 Aug 2005 15:46:31 +0200] rev 17194
added option -C: copy existing document directory;
wenzelm [Wed, 31 Aug 2005 15:46:30 +0200] rev 17193
* Delimiters of outer tokens now produce separate LaTeX macros;
* isatool usedir: option -C (default true) controls copying of document directory;
haftmann [Wed, 31 Aug 2005 09:37:12 +0200] rev 17192
introduced AList.*
haftmann [Wed, 31 Aug 2005 09:01:45 +0200] rev 17191
better map_entry
schirmer [Tue, 30 Aug 2005 21:32:10 +0200] rev 17190
fixed bug in record_type_abbr_tr'