diff -r 7c593d4f1f89 -r d562c9948dee src/HOL/Tools/Lifting/lifting_def.ML
--- a/src/HOL/Tools/Lifting/lifting_def.ML	Mon Jun 06 21:28:45 2016 +0200
+++ b/src/HOL/Tools/Lifting/lifting_def.ML	Mon Jun 06 21:28:46 2016 +0200
@@ -451,17 +451,17 @@
 
   in
     if is_valid_eq abs_eq_thm then
-      (ABS_EQ, Code.add_default_eqn abs_eq_thm thy)
+      (ABS_EQ, Code.add_eqn (Code.Equation, true) abs_eq_thm thy)
     else
       let
         val (rty_body, qty_body) = get_body_types (rty, qty)
       in
         if rty_body = qty_body then
-          (REP_EQ, Code.add_default_eqn (the opt_rep_eq_thm) thy)
+          (REP_EQ, Code.add_eqn (Code.Equation, true) (the opt_rep_eq_thm) thy)
         else
           if is_some opt_rep_eq_thm andalso is_valid_abs_eq (the opt_rep_eq_thm)
           then
-            (REP_EQ, Code.add_abs_default_eqn (the opt_rep_eq_thm) thy)
+            (REP_EQ, Code.add_eqn (Code.Abstract, true) (the opt_rep_eq_thm) thy)
           else
             (NONE_EQ, thy)
       end