| Wed, 19 Oct 2011 16:45:46 +0200 | wenzelm | more robust toplevel_error reporting (NB: Context.proof_of on a stale theory crashes ungracefully); | changeset | files |
| Wed, 19 Oct 2011 15:42:43 +0200 | wenzelm | inlined @{thms} (ML compile-time) allows to get rid of legacy zadd_ac as well (cf. 49e305100097); | changeset | files |
| Wed, 19 Oct 2011 15:41:12 +0200 | wenzelm | tuned legacy signature; | changeset | files |
| Wed, 19 Oct 2011 14:40:49 +0200 | wenzelm | further cleanup of stats (cf. 97e81a8aa277); | changeset | files |