--- a/src/HOL/HOLCF/Domain.thy Thu Mar 15 17:45:54 2012 +0100
+++ b/src/HOL/HOLCF/Domain.thy Thu Mar 15 19:02:34 2012 +0100
@@ -6,6 +6,7 @@
theory Domain
imports Representable Domain_Aux
+keywords "lazy" "unsafe"
uses
("Tools/domaindef.ML")
("Tools/Domain/domain_isomorphism.ML")