Tue, 23 Sep 2008 22:04:30 +0200 | wenzelm | added promise_result, prove_promise; | changeset | files |
Tue, 23 Sep 2008 18:31:33 +0200 | berghofe | Corrected call of SUBPROOF in coherent_tac that used wrong context. | changeset | files |
Tue, 23 Sep 2008 18:11:45 +0200 | haftmann | fixed outer syntax | changeset | files |