wenzelm [Wed, 31 Aug 2005 15:46:44 +0200] rev 17205
refer to theory instead of low-level tsig;
use Thm.full_prop_of instead of Thm.prop_of;
tuned use of map/filter/fold;
wenzelm [Wed, 31 Aug 2005 15:46:43 +0200] rev 17204
tuned classes_arities_of;
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;