| 2009-09-18 | boehmes | added new method "smt": an oracle-based connection to external SMT solvers | file | diff | annotate |
| 2009-09-02 | boehmes | moved Mirabelle from HOL/Tools to HOL, | file | diff | annotate |
| 2009-09-01 | haftmann | code generator is now a separate component | file | diff | annotate |
| 2009-08-22 | wenzelm | tuned; | file | diff | annotate |
| 2009-08-21 | boehmes | moved Mirabelle to HOL/Tools | file | diff | annotate |
| 2009-08-17 | boehmes | made Mirabelle a component | file | diff | annotate |
| 2009-08-06 | wenzelm | misc changes to SOS by Philipp Meyer: | file | diff | annotate |
| 2009-08-04 | wenzelm | src/HOL/Tools/ATP_Manager as separate component, with (almost) everything in one place; | file | diff | annotate |
| 2009-08-04 | wenzelm | turned object-logics into components; | file | diff | annotate |