equal
deleted
inserted
replaced
1 (* Title: HOL/Nitpick_Examples/Integer_Nits.thy |
1 (* Title: HOL/Nitpick_Examples/Integer_Nits.thy |
2 Author: Jasmin Blanchette, TU Muenchen |
2 Author: Jasmin Blanchette, TU Muenchen |
3 Copyright 2009, 2010 |
3 Copyright 2009-2011 |
4 |
4 |
5 Examples featuring Nitpick applied to natural numbers and integers. |
5 Examples featuring Nitpick applied to natural numbers and integers. |
6 *) |
6 *) |
7 |
7 |
8 header {* Examples Featuring Nitpick Applied to Natural Numbers and Integers *} |
8 header {* Examples Featuring Nitpick Applied to Natural Numbers and Integers *} |