| Wed, 21 Jul 2010 18:11:51 +0200 | bulwahn | putting proof in the right context; adding if rewriting; tuned | changeset | files |
| Thu, 22 Jul 2010 16:43:21 +0200 | wenzelm | load_thy: parallel parsing of units, which consist of statement/proof each; | changeset | files |
| Thu, 22 Jul 2010 14:59:27 +0200 | wenzelm | eliminated some unreferenced identifiers; | changeset | files |