| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
| Sat, 27 May 2006 17:42:02 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 17 Mar 2006 10:04:27 +0100 | ballarin | Renamed setsum_mult to setsum_right_distrib. | file | diff | annotate |
| Wed, 31 Aug 2005 15:46:36 +0200 | wenzelm | moved lemmas that require the HOL-Complex logic image to Complex/ex/BigO_Complex.thy; | file | diff | annotate |
| Fri, 29 Jul 2005 19:47:34 +0200 | avigad | fixed minor typo in comments | file | diff | annotate |
| Thu, 28 Jul 2005 15:19:47 +0200 | wenzelm | proper header; | file | diff | annotate |
| Mon, 25 Jul 2005 18:54:49 +0200 | avigad | Added two new theories to HOL/Library: SetsAndFunctions.thy and BigO.thy | file | diff | annotate |