Wed, 07 May 2008 10:57:19 +0200 | berghofe | Adapted to encoding of sets as predicates | file | diff | annotate |
Sat, 16 Sep 2006 02:32:48 +0200 | huffman | add required type annotation | file | diff | annotate |
Wed, 31 Aug 2005 15:47:41 +0200 | wenzelm | Additional BigO lemmas that require the HOL-Complex logic image; | file | diff | annotate |