author | wenzelm |
Tue, 11 Mar 2008 18:20:47 +0100 | |
changeset 26252 | d8145f7c97b2 |
parent 26251 | b8c6259d366b |
child 26253 | 0506197d285f |
--- 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);