export get_calculation;
authorwenzelm
Sun Jun 26 15:16:58 2005 +0200 (2005-06-26)
changeset 16571c1f41c98fd3c
parent 16570 861b9fa2c98c
child 16572 81778a796290
export get_calculation;
src/Pure/Isar/calculation.ML
     1.1 --- a/src/Pure/Isar/calculation.ML	Sat Jun 25 16:07:55 2005 +0200
     1.2 +++ b/src/Pure/Isar/calculation.ML	Sun Jun 26 15:16:58 2005 +0200
     1.3 @@ -7,6 +7,7 @@
     1.4  
     1.5  signature CALCULATION =
     1.6  sig
     1.7 +  val get_calculation: Proof.state -> thm list option
     1.8    val print_global_rules: theory -> unit
     1.9    val print_local_rules: Proof.context -> unit
    1.10    val trans_add_global: theory attribute