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 BNF_FP_Base Map Record Sledgehammer |
11 imports BNF_FP_Base Map Record Sledgehammer |
12 keywords "nitpick" :: diag and "nitpick_params" :: thy_decl |
12 keywords |
|
13 "nitpick" :: diag and |
|
14 "nitpick_params" :: thy_decl |
13 begin |
15 begin |
14 |
16 |
15 typedecl bisim_iterator |
17 typedecl bisim_iterator |
16 |
18 |
17 axiomatization unknown :: 'a |
19 axiomatization unknown :: 'a |