| author | wenzelm |
| Tue Sep 03 01:12:40 2013 +0200 (2013-09-03) | |
| changeset 53374 | a14d2a854c02 |
| parent 45035 | 60d2c03d5c70 |
| permissions | -rw-r--r-- |
1 (* Title: HOL/Nitpick_Examples/Nitpick_Examples.thy
2 Author: Jasmin Blanchette, TU Muenchen
3 Copyright 2009-2011
5 Nitpick examples.
6 *)
8 theory Nitpick_Examples
9 imports Core_Nits Datatype_Nits Hotel_Nits Induct_Nits Integer_Nits Manual_Nits
10 Mini_Nits Mono_Nits Pattern_Nits Record_Nits Refute_Nits Special_Nits
11 Tests_Nits Typedef_Nits
12 begin
13 end