| Fri, 18 Sep 2009 18:13:19 +0200 | added new method "smt": an oracle-based connection to external SMT solvers | file | diff | annotate |
| Wed, 02 Sep 2009 16:23:53 +0200 | moved Mirabelle from HOL/Tools to HOL, | file | diff | annotate |
| Tue, 01 Sep 2009 16:39:05 +0200 | code generator is now a separate component | file | diff | annotate |
| Sat, 22 Aug 2009 23:22:17 +0200 | tuned; | file | diff | annotate |
| Fri, 21 Aug 2009 09:49:10 +0200 | moved Mirabelle to HOL/Tools | file | diff | annotate |
| Mon, 17 Aug 2009 10:59:12 +0200 | made Mirabelle a component | file | diff | annotate |
| Thu, 06 Aug 2009 19:51:59 +0200 | misc changes to SOS by Philipp Meyer: | file | diff | annotate |
| Tue, 04 Aug 2009 19:20:24 +0200 | src/HOL/Tools/ATP_Manager as separate component, with (almost) everything in one place; | file | diff | annotate |
| Tue, 04 Aug 2009 16:11:11 +0200 | turned object-logics into components; | file | diff | annotate |