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 |
Sun, 03 Mar 2013 13:43:57 +0100 | wenzelm | clarified Toplevel.element_result wrt. Toplevel.is_ignored; | changeset | files |
Sun, 03 Mar 2013 13:23:06 +0100 | wenzelm | more Thy_Syntax.element operations; | changeset | files |
Fri, 01 Mar 2013 22:15:31 +0100 | traytel | coercion-invariant arguments at work | changeset | files |