| Thu, 11 Jun 2009 14:25:58 +0200 | wenzelm | merged, reverting workarounds on both sides; | changeset | files |
| Thu, 11 Jun 2009 12:50:20 +0200 | wenzelm | theory Predicate_Compile_ex: enable quick_and_dirty for now, to make it work with internal cheat_tac invocations; | changeset | files |
| Thu, 11 Jun 2009 12:48:38 +0200 | wenzelm | added sporadic (Local)Theory.checkpoint, to enable parallel proof checking; | changeset | files |