src/HOL/Tools/SMT2/z3_new_real.ML

 val _ = Theory.setup (Context.theory_map (
   SMTLIB2_Proof.add_type_parser real_type_parser #>
   SMTLIB2_Proof.add_term_parser real_term_parser #>
   Z3_New_Replay_Methods.add_arith_abstracter abstract))
 
-end
+end;