isabelle: Changelog

wenzelm [Wed, 31 Aug 2005 15:46:40 +0200] rev 17203

refer to theory instead of low-level tsig;

wenzelm [Wed, 31 Aug 2005 15:46:39 +0200] rev 17202

added Avigad-Donnelly;

wenzelm [Wed, 31 Aug 2005 15:46:38 +0200] rev 17201

reactivate postfix by change of syntax; tuned presentation;

wenzelm [Wed, 31 Aug 2005 15:46:37 +0200] rev 17200

tuned presentation;

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;

isabelle