changeset 26252 | d8145f7c97b2 |
parent 24039 | 273698405054 |
child 26336 | a0e2b706ce73 |
--- a/src/Pure/Isar/calculation.ML Tue Mar 11 17:13:41 2008 +0100 +++ b/src/Pure/Isar/calculation.ML Tue Mar 11 18:20:47 2008 +0100 @@ -59,7 +59,7 @@ fun put_calculation calc = `Proof.level #-> (fn lev => Proof.map_context (Context.proof_map (CalculationData.map (apsnd (K (Option.map (rpair lev) calc)))))) - #> Proof.put_thms (calculationN, calc); + #> Proof.put_thms false (calculationN, calc);