equal
deleted
inserted
replaced
6 *) |
6 *) |
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 |
11 imports Map Quotient SAT Record |
12 uses ("Tools/Nitpick/kodkod.ML") |
12 uses ("Tools/Nitpick/kodkod.ML") |
13 ("Tools/Nitpick/kodkod_sat.ML") |
13 ("Tools/Nitpick/kodkod_sat.ML") |
14 ("Tools/Nitpick/nitpick_util.ML") |
14 ("Tools/Nitpick/nitpick_util.ML") |
15 ("Tools/Nitpick/nitpick_hol.ML") |
15 ("Tools/Nitpick/nitpick_hol.ML") |
16 ("Tools/Nitpick/nitpick_preproc.ML") |
16 ("Tools/Nitpick/nitpick_preproc.ML") |