| 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 |