src/HOL/Tools/Nitpick/nitpick_isar.ML
changeset 35866 513074557e06
parent 35665 ff2bf50505ab
child 35964 77f2cb359b49
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick_isar.ML	Fri Mar 19 13:02:18 2010 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_isar.ML	Fri Mar 19 15:07:44 2010 +0100
     1.3 @@ -13,7 +13,7 @@
     1.4    val auto: bool Unsynchronized.ref
     1.5    val default_params : theory -> (string * string) list -> params
     1.6    val setup : theory -> theory
     1.7 -end
     1.8 +end;
     1.9  
    1.10  structure Nitpick_Isar : NITPICK_ISAR =
    1.11  struct