| changeset 58889 | 5b7a9633cfa8 |
| parent 54845 | 10df188349b3 |
| child 61076 | bdc1e2f0a86a |
--- a/src/HOL/Nitpick_Examples/Mini_Nits.thy Sun Nov 02 18:21:14 2014 +0100 +++ b/src/HOL/Nitpick_Examples/Mini_Nits.thy Sun Nov 02 18:21:45 2014 +0100 @@ -5,7 +5,7 @@ Examples featuring Minipick, the minimalistic version of Nitpick. *) -header {* Examples Featuring Minipick, the Minimalistic Version of Nitpick *} +section {* Examples Featuring Minipick, the Minimalistic Version of Nitpick *} theory Mini_Nits imports Main