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