src/HOL/HOLCF/Domain.thy

--- a/src/HOL/HOLCF/Domain.thy	Sun Sep 13 22:25:21 2015 +0200
+++ b/src/HOL/HOLCF/Domain.thy	Sun Sep 13 22:56:52 2015 +0200
@@ -125,7 +125,7 @@
     unfolding prj_beta emb_beta
     by (simp add: type_definition.Abs_inverse [OF type])
   show "ep_pair (emb :: 'a \<rightarrow> udom) prj"
-    apply default
+    apply standard
     apply (simp add: prj_emb)
     apply (simp add: emb_prj cast.below)
     done