# HG changeset patch
# User wenzelm
# Date 1205256047 -3600
# Node ID d8145f7c97b2766870cca8151db510b42e3f6b9b
# Parent  b8c6259d366bdfac3d9e0a41530781c076069aac
Proof.put_thms false;

diff -r b8c6259d366b -r d8145f7c97b2 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);