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 Record Sledgehammer Wfrec |
11 imports BNF_FP_Base Map Record Sledgehammer |
12 keywords "nitpick" :: diag and "nitpick_params" :: thy_decl |
12 keywords "nitpick" :: diag and "nitpick_params" :: thy_decl |
13 begin |
13 begin |
14 |
14 |
15 typedecl bisim_iterator |
15 typedecl bisim_iterator |
16 |
16 |