| Wed, 11 Apr 2012 15:02:48 +0200 | wenzelm | clarified proof_result: finish proof formally via head tr, not end_tr; | changeset | files |
| Wed, 11 Apr 2012 14:20:51 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 11 Apr 2012 13:49:09 +0200 | wenzelm | more robust Future.fulfill wrt. duplicate assignment and interrupt; | changeset | files |