| changeset 33197 | de6285ebcc05 |
| child 33232 | f93390060bbe |
| 33196:5fe67e108651 | 33197:de6285ebcc05 |
|---|---|
1 (* Title: HOL/Nitpick_Examples/Tests_Nits.thy |
|
2 Author: Jasmin Blanchette, TU Muenchen |
|
3 Copyright 2009 |
|
4 |
|
5 Nitpick tests. |
|
6 *) |
|
7 |
|
8 header {* Nitpick Tests *} |
|
9 |
|
10 theory Tests_Nits |
|
11 imports Main |
|
12 begin |
|
13 |
|
14 ML {* NitpickTests.run_all_tests () *} |
|
15 |
|
16 end |