| changeset 16571 | c1f41c98fd3c |
| parent 16424 | 18a07ad8fea8 |
| child 17350 | 26cd3756377a |
--- a/src/Pure/Isar/calculation.ML Sat Jun 25 16:07:55 2005 +0200 +++ b/src/Pure/Isar/calculation.ML Sun Jun 26 15:16:58 2005 +0200 @@ -7,6 +7,7 @@ signature CALCULATION = sig + val get_calculation: Proof.state -> thm list option val print_global_rules: theory -> unit val print_local_rules: Proof.context -> unit val trans_add_global: theory attribute