--- a/src/Pure/Isar/calculation.ML Fri Aug 23 20:09:34 2013 +0200
+++ b/src/Pure/Isar/calculation.ML Fri Aug 23 20:35:50 2013 +0200
@@ -94,7 +94,7 @@
(* concrete syntax *)
-val _ = Context.>> (Context.map_theory
+val _ = Theory.setup
(Attrib.setup (Binding.name "trans") (Attrib.add_del trans_add trans_del)
"declaration of transitivity rule" #>
Attrib.setup (Binding.name "sym") (Attrib.add_del sym_add sym_del)
@@ -103,7 +103,7 @@
"resolution with symmetry rule" #>
Global_Theory.add_thms
[((Binding.empty, transitive_thm), [trans_add]),
- ((Binding.empty, symmetric_thm), [sym_add])] #> snd));
+ ((Binding.empty, symmetric_thm), [sym_add])] #> snd);