
diff -r 6a5986170c1d -r 0819931d652d src/HOL/Nitpick.thy
--- a/src/HOL/Nitpick.thy	Mon Feb 17 18:18:27 2014 +0100
+++ b/src/HOL/Nitpick.thy	Mon Feb 17 22:54:38 2014 +0100
@@ -9,7 +9,9 @@
 
 theory Nitpick
 imports BNF_FP_Base Map Record Sledgehammer
-keywords "nitpick" :: diag and "nitpick_params" :: thy_decl
+keywords
+  "nitpick" :: diag and
+  "nitpick_params" :: thy_decl
 begin
 
 typedecl bisim_iterator




