Wed, 31 Aug 2005 15:46:47 +0200 added no_body_context;
wenzelm [Wed, 31 Aug 2005 15:46:47 +0200] rev 17208
added no_body_context;
Wed, 31 Aug 2005 15:46:46 +0200 use_dir: added copy-dump option;
wenzelm [Wed, 31 Aug 2005 15:46:46 +0200] rev 17207
use_dir: added copy-dump option;
Wed, 31 Aug 2005 15:46:45 +0200 present_text: Toplevel.no_body_context prevents use of wrong context in interaction;
wenzelm [Wed, 31 Aug 2005 15:46:45 +0200] rev 17206
present_text: Toplevel.no_body_context prevents use of wrong context in interaction;
Wed, 31 Aug 2005 15:46:44 +0200 refer to theory instead of low-level tsig;
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;
Wed, 31 Aug 2005 15:46:43 +0200 tuned classes_arities_of;
wenzelm [Wed, 31 Aug 2005 15:46:43 +0200] rev 17204
tuned classes_arities_of;
Wed, 31 Aug 2005 15:46:40 +0200 refer to theory instead of low-level tsig;
wenzelm [Wed, 31 Aug 2005 15:46:40 +0200] rev 17203
refer to theory instead of low-level tsig;
Wed, 31 Aug 2005 15:46:39 +0200 added Avigad-Donnelly;
wenzelm [Wed, 31 Aug 2005 15:46:39 +0200] rev 17202
added Avigad-Donnelly;
Wed, 31 Aug 2005 15:46:38 +0200 reactivate postfix by change of syntax;
wenzelm [Wed, 31 Aug 2005 15:46:38 +0200] rev 17201
reactivate postfix by change of syntax; tuned presentation;
Wed, 31 Aug 2005 15:46:37 +0200 tuned presentation;
wenzelm [Wed, 31 Aug 2005 15:46:37 +0200] rev 17200
tuned presentation;
Wed, 31 Aug 2005 15:46:36 +0200 moved lemmas that require the HOL-Complex logic image to Complex/ex/BigO_Complex.thy;
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;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip