src/Pure/Isar/calculation.ML

--- a/src/Pure/Isar/calculation.ML	Thu Mar 27 15:32:12 2008 +0100
+++ b/src/Pure/Isar/calculation.ML	Thu Mar 27 15:32:15 2008 +0100
@@ -92,7 +92,7 @@
 val trans_att = Attrib.add_del_args trans_add trans_del;
 val sym_att = Attrib.add_del_args sym_add sym_del;
 
-val _ = Context.add_setup
+val _ = Context.>>
  (Attrib.add_attributes
    [("trans", trans_att, "declaration of transitivity rule"),
     ("sym", sym_att, "declaration of symmetry rule"),