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 |