| Sun, 03 Mar 2013 17:34:42 +0100 | wenzelm | more uniform Future.map: always internalize failure; | changeset | files |
| Sun, 03 Mar 2013 14:29:30 +0100 | wenzelm | uniform treatment of global/local proofs; | changeset | files |
| Sun, 03 Mar 2013 13:57:03 +0100 | wenzelm | tuned; | changeset | files |