src/Pure/Isar/calculation.ML
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.