src/HOL/Record.thy

--- a/src/HOL/Record.thy	Mon Jan 11 00:04:23 2016 +0100
+++ b/src/HOL/Record.thy	Sun Jan 10 19:37:21 2016 -0800
@@ -10,7 +10,9 @@
 
 theory Record
 imports Quickcheck_Exhaustive
-keywords "record" :: thy_decl
+keywords
+  "record" :: thy_decl and
+  "print_record" :: diag
 begin
 
 subsection \<open>Introduction\<close>