| Wed, 11 Aug 2010 17:50:29 +0200 | wenzelm | simplified/unified command setup; | changeset | files |
| Wed, 11 Aug 2010 17:37:04 +0200 | wenzelm | removed obsolete Proof.get_thmss_cmd (cf. Attrib.eval_thms); | changeset | files |
| Wed, 11 Aug 2010 17:31:56 +0200 | wenzelm | prefer plain Attrib.eval_thmss -- also means the assert_forward of Proof.get_thmss_cmd is skipped, leading to uniform (albeit odd) behaviour concerning forward chaining; | changeset | files |