src/Pure/Isar/calculation.ML
changeset 19074 77580f732e37
parent 18947 de38ee3654d4
child 19861 620d90091788
     1.1 --- a/src/Pure/Isar/calculation.ML	Thu Feb 16 18:25:56 2006 +0100
     1.2 +++ b/src/Pure/Isar/calculation.ML	Thu Feb 16 18:25:58 2006 +0100
     1.3 @@ -62,7 +62,7 @@
     1.4  fun put_calculation calc =
     1.5    `Proof.level #-> (fn lev => Proof.map_context (Context.proof_map
     1.6       (CalculationData.map (apsnd (K (Option.map (rpair lev) calc))))))
     1.7 -  #> Proof.put_thms (calculationN, calc);
     1.8 +  #> Proof.put_thms_internal (calculationN, calc);
     1.9  
    1.10  
    1.11