src/HOL/Nitpick.thy
changeset 55539 0819931d652d
parent 55415 05f5fdb8d093
child 55642 63beb38e9258
--- 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