| Mon, 17 Aug 2009 10:59:12 +0200 | boehmes | made Mirabelle a component | file | diff | annotate |
| Thu, 06 Aug 2009 19:51:59 +0200 | wenzelm | misc changes to SOS by Philipp Meyer: | file | diff | annotate |
| Tue, 04 Aug 2009 19:20:24 +0200 | wenzelm | 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 | wenzelm | turned object-logics into components; | file | diff | annotate |