src/HOL/Nitpick.thy
changeset 46950 d0181abdbdac
parent 46324 e4bccf5ec61e
child 47909 5f1afeebafbc
     1.1 --- a/src/HOL/Nitpick.thy	Thu Mar 15 20:07:00 2012 +0100
     1.2 +++ b/src/HOL/Nitpick.thy	Thu Mar 15 22:08:53 2012 +0100
     1.3 @@ -9,6 +9,7 @@
     1.4  
     1.5  theory Nitpick
     1.6  imports Map Quotient SAT Record
     1.7 +keywords "nitpick" :: diag and "nitpick_params" :: thy_decl
     1.8  uses ("Tools/Nitpick/kodkod.ML")
     1.9       ("Tools/Nitpick/kodkod_sat.ML")
    1.10       ("Tools/Nitpick/nitpick_util.ML")