equal
deleted
inserted
replaced
7 |
7 |
8 header {* Nitpick: Yet Another Counterexample Generator for Isabelle/HOL *} |
8 header {* Nitpick: Yet Another Counterexample Generator for Isabelle/HOL *} |
9 |
9 |
10 theory Nitpick |
10 theory Nitpick |
11 imports Map Quotient SAT Record |
11 imports Map Quotient SAT Record |
|
12 keywords "nitpick" :: diag and "nitpick_params" :: thy_decl |
12 uses ("Tools/Nitpick/kodkod.ML") |
13 uses ("Tools/Nitpick/kodkod.ML") |
13 ("Tools/Nitpick/kodkod_sat.ML") |
14 ("Tools/Nitpick/kodkod_sat.ML") |
14 ("Tools/Nitpick/nitpick_util.ML") |
15 ("Tools/Nitpick/nitpick_util.ML") |
15 ("Tools/Nitpick/nitpick_hol.ML") |
16 ("Tools/Nitpick/nitpick_hol.ML") |
16 ("Tools/Nitpick/nitpick_preproc.ML") |
17 ("Tools/Nitpick/nitpick_preproc.ML") |