diff -r 4ee9c2be4383 -r 8093203f0b89 src/Pure/axclass.ML
--- a/src/Pure/axclass.ML	Thu Apr 07 11:17:57 2016 +0200
+++ b/src/Pure/axclass.ML	Thu Apr 07 12:08:02 2016 +0200
@@ -261,12 +261,13 @@
     else SOME (map_proven_arities (K arities') thy)
   end;
 
-val _ = Theory.setup
-  (Theory.at_begin complete_classrels #> Theory.at_begin complete_arities);
-
-val _ = Proofterm.install_axclass_proofs
-  {classrel_proof = Thm.proof_of oo the_classrel,
-   arity_proof = Thm.proof_of oo the_arity};
+val _ =
+  Theory.setup
+   (Theory.at_begin complete_classrels #>
+    Theory.at_begin complete_arities #>
+    Proofterm.install_axclass_proofs
+     {classrel_proof = Thm.proof_of oo the_classrel,
+      arity_proof = Thm.proof_of oo the_arity});
 
 
 (* maintain instance parameters *)