| Wed, 31 Aug 2005 17:53:35 +0200 |
nipkow |
comp -> compile
|
changeset |
files
|
| Wed, 31 Aug 2005 15:47:41 +0200 |
wenzelm |
Additional BigO lemmas that require the HOL-Complex logic image;
|
changeset |
files
|
| Wed, 31 Aug 2005 15:46:49 +0200 |
wenzelm |
added copy-dump option;
|
changeset |
files
|
| Wed, 31 Aug 2005 15:46:48 +0200 |
wenzelm |
added line break for 'uses';
|
changeset |
files
|
| Wed, 31 Aug 2005 15:46:47 +0200 |
wenzelm |
added no_body_context;
|
changeset |
files
|
| Wed, 31 Aug 2005 15:46:46 +0200 |
wenzelm |
use_dir: added copy-dump option;
|
changeset |
files
|
| Wed, 31 Aug 2005 15:46:45 +0200 |
wenzelm |
present_text: Toplevel.no_body_context prevents use of wrong context in interaction;
|
changeset |
files
|
| Wed, 31 Aug 2005 15:46:44 +0200 |
wenzelm |
refer to theory instead of low-level tsig;
|
changeset |
files
|
| Wed, 31 Aug 2005 15:46:43 +0200 |
wenzelm |
tuned classes_arities_of;
|
changeset |
files
|
| Wed, 31 Aug 2005 15:46:40 +0200 |
wenzelm |
refer to theory instead of low-level tsig;
|
changeset |
files
|
| Wed, 31 Aug 2005 15:46:39 +0200 |
wenzelm |
added Avigad-Donnelly;
|
changeset |
files
|
| Wed, 31 Aug 2005 15:46:38 +0200 |
wenzelm |
reactivate postfix by change of syntax;
|
changeset |
files
|
| Wed, 31 Aug 2005 15:46:37 +0200 |
wenzelm |
tuned presentation;
|
changeset |
files
|
| Wed, 31 Aug 2005 15:46:36 +0200 |
wenzelm |
moved lemmas that require the HOL-Complex logic image to Complex/ex/BigO_Complex.thy;
|
changeset |
files
|
| Wed, 31 Aug 2005 15:46:35 +0200 |
wenzelm |
added Complex/ex/BigO_Complex.thy;
|
changeset |
files
|
| Wed, 31 Aug 2005 15:46:34 +0200 |
wenzelm |
simp_implies: proper named infix;
|
changeset |
files
|