--- a/src/HOL/HOLCF/Domain.thy	Thu Mar 14 16:35:58 2019 +0100
+++ b/src/HOL/HOLCF/Domain.thy	Thu Mar 14 16:55:06 2019 +0100
@@ -8,7 +8,8 @@
 imports Representable Domain_Aux
 keywords
   "lazy" "unsafe" and
-  "domaindef" "domain_isomorphism" "domain" :: thy_decl
+  "domaindef" "domain" :: thy_defn and
+  "domain_isomorphism" :: thy_decl
 begin
 
 default_sort "domain"