| Wed, 19 Oct 2011 16:32:30 +0200 | nipkow | merged | changeset | files |
| Wed, 19 Oct 2011 16:32:12 +0200 | nipkow | renamed B to Bc | changeset | files |
| Wed, 19 Oct 2011 17:04:43 +0200 | wenzelm | tuned comment; | changeset | files |
| Wed, 19 Oct 2011 17:03:07 +0200 | wenzelm | proper source positions for @{lemma}; | changeset | files |
| 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 |