equal
deleted
inserted
replaced
13 val nitpickN : string |
13 val nitpickN : string |
14 val nitpick_paramsN : string |
14 val nitpick_paramsN : string |
15 val default_params : theory -> (string * string) list -> params |
15 val default_params : theory -> (string * string) list -> params |
16 end; |
16 end; |
17 |
17 |
18 structure Nitpick_Commands : NITPICK_Commands = |
18 structure Nitpick_Commands : NITPICK_COMMANDS = |
19 struct |
19 struct |
20 |
20 |
21 open Nitpick_Util |
21 open Nitpick_Util |
22 open Nitpick_HOL |
22 open Nitpick_HOL |
23 open Nitpick_Rep |
23 open Nitpick_Rep |