--- a/src/HOL/HOLCF/Fixrec.thy Thu Mar 15 20:07:00 2012 +0100
+++ b/src/HOL/HOLCF/Fixrec.thy Thu Mar 15 22:08:53 2012 +0100
@@ -6,6 +6,7 @@
theory Fixrec
imports Plain_HOLCF
+keywords "fixrec" :: thy_decl
uses
("Tools/holcf_library.ML")
("Tools/fixrec.ML")