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