src/Pure/Isar/calculation.ML
2001-12-05 ago added 'sym' and 'symmetric' atts;
2001-11-28 ago theory data: removed obsolete finish method;
2001-11-09 ago theory data: finish method;
2001-11-05 ago pretty/print functions with context;
2001-11-02 ago declare transitive;
2001-10-15 ago tuned NetRules;
2001-02-11 ago more robust selection of calculational rules;
2000-11-16 ago Proof.assert_forward;
2000-09-17 ago Display.pretty_thm_sg;
2000-09-07 ago tuned msgs;
2000-07-13 ago eq_prop: strip_assums_concl;
2000-07-01 ago tuned print_rules;
2000-06-26 ago eq_prop: eta contract;
2000-05-05 ago GPLed;
2000-04-01 ago more robust handling of explicit rules;
2000-03-31 ago use Attrib.add_del_args;
2000-03-26 ago added 'ultimately';
2000-03-23 ago added 'moreover' command;
2000-03-15 ago tuned comment;
2000-02-27 ago use NetRules;
2000-01-28 ago map data;
1999-09-25 ago Proof.reset_thms calculationN;
1999-09-21 ago differ: compare actual props only (hyps may changed due to trivial steps involving assumptions);
1999-09-04 ago Library.equal_lists;
1999-09-01 ago calculation: thm list;
1999-08-09 ago append user rules;
1999-07-06 ago improved errors;
1999-07-01 ago also, finally: opt_rules;
1999-06-05 ago tuned;
1999-06-04 ago fixed "...": dest_arg;
1999-06-04 ago oops;
1999-06-04 ago Support for calculational proofs.