# HG changeset patch
# User wenzelm
# Date 1119791818 -7200
# Node ID c1f41c98fd3ca01b8d3a53165929aaa39104717b
# Parent  861b9fa2c98c8c62688af3759ce399b1002f9b0c
export get_calculation;

diff -r 861b9fa2c98c -r c1f41c98fd3c src/Pure/Isar/calculation.ML
--- 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