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 |
Wed, 11 Aug 2010 17:29:54 +0200 | wenzelm | prefer plain Attrib.eval_thms with plain Proof.context instead of Proof.state; | changeset | files |
Wed, 11 Aug 2010 17:24:57 +0200 | wenzelm | tuned eval_thms (cf. note etc. in proof.ML); | changeset | files |
Wed, 11 Aug 2010 15:17:13 +0200 | wenzelm | use Pretty.enum convenience; | changeset | files |
Wed, 11 Aug 2010 15:00:31 +0200 | wenzelm | tuned whitespace; | changeset | files |
Wed, 11 Aug 2010 13:39:36 +0200 | wenzelm | more precise and more maintainable dependencies; | changeset | files |
Wed, 11 Aug 2010 12:50:33 +0200 | wenzelm | merged, resolving conflict in src/Pure/IsaMakefile concerning General/xml_data.ML; | changeset | files |