| Sat, 27 May 2006 17:42:02 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 16 May 2006 21:33:01 +0200 | wenzelm | tuned concrete syntax -- abbreviation/const_syntax; | file | diff | annotate |
| Sun, 09 Apr 2006 18:51:13 +0200 | wenzelm | tuned syntax/abbreviations; | file | diff | annotate |
| Sun, 28 Aug 2005 16:04:45 +0200 | wenzelm | tuned some proofs; | 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 |