| Thu, 01 Oct 2009 22:39:06 +0200 | wenzelm | Concurrently cached values. | changeset | files |
| Thu, 01 Oct 2009 20:47:26 +0200 | wenzelm | tuned header; | changeset | files |
| Thu, 01 Oct 2009 20:33:45 +0200 | wenzelm | core_sos_tac: SUBPROOF body operates on subgoal 1; | changeset | files |
| Thu, 01 Oct 2009 20:20:56 +0200 | wenzelm | merged | changeset | files |
| Thu, 01 Oct 2009 20:20:45 +0200 | wenzelm | updated generated files; | changeset | files |
| Thu, 01 Oct 2009 20:13:32 +0200 | wenzelm | enable slow-motion mode to accomodate unsynchronized refs within theory sources; | changeset | files |