src/HOL/Nitpick.thy
changeset 55539 0819931d652d
parent 55415 05f5fdb8d093
child 55642 63beb38e9258
     1.1 --- a/src/HOL/Nitpick.thy	Mon Feb 17 18:18:27 2014 +0100
     1.2 +++ b/src/HOL/Nitpick.thy	Mon Feb 17 22:54:38 2014 +0100
     1.3 @@ -9,7 +9,9 @@
     1.4  
     1.5  theory Nitpick
     1.6  imports BNF_FP_Base Map Record Sledgehammer
     1.7 -keywords "nitpick" :: diag and "nitpick_params" :: thy_decl
     1.8 +keywords
     1.9 +  "nitpick" :: diag and
    1.10 +  "nitpick_params" :: thy_decl
    1.11  begin
    1.12  
    1.13  typedecl bisim_iterator