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