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 |