equal
deleted
inserted
replaced
3 Copyright 2008, 2009, 2010 |
3 Copyright 2008, 2009, 2010 |
4 |
4 |
5 Nitpick: Yet another counterexample generator for Isabelle/HOL. |
5 Nitpick: Yet another counterexample generator for Isabelle/HOL. |
6 *) |
6 *) |
7 |
7 |
8 header {* Nitpick: Yet Another Counterexample Generator for Isabelle/HOL *} |
8 section {* Nitpick: Yet Another Counterexample Generator for Isabelle/HOL *} |
9 |
9 |
10 theory Nitpick |
10 theory Nitpick |
11 imports Record |
11 imports Record |
12 keywords |
12 keywords |
13 "nitpick" :: diag and |
13 "nitpick" :: diag and |