Proof.put_thms false;
authorwenzelm
Tue, 11 Mar 2008 18:20:47 +0100
changeset 26252 d8145f7c97b2
parent 26251 b8c6259d366b
child 26253 0506197d285f
Proof.put_thms false;
src/Pure/Isar/calculation.ML
--- 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);