| Wed, 05 Aug 2009 15:39:34 +0200 | wenzelm | SUBPROOF: recovered Goal.check_finished; | changeset | files |
| Tue, 04 Aug 2009 23:25:00 +0200 | wenzelm | added Isabelle_System.components; | changeset | files |
| Tue, 04 Aug 2009 19:20:24 +0200 | wenzelm | src/HOL/Tools/ATP_Manager as separate component, with (almost) everything in one place; | changeset | files |
| Tue, 04 Aug 2009 16:13:16 +0200 | wenzelm | etc/components; | changeset | files |