| Tue, 30 Sep 2008 23:31:40 +0200 | wenzelm | unit_source: explicit treatment of 'oops' proofs; | changeset | files |
| Tue, 30 Sep 2008 23:31:38 +0200 | wenzelm | promise_proof: proper statement with empty vars; | changeset | files |
| Tue, 30 Sep 2008 23:31:36 +0200 | wenzelm | load_thy: more precise treatment of improper cmd or proof (notably 'oops'); | changeset | files |