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