author | berghofe |
Fri, 15 Jan 2010 19:14:51 +0100 | |
changeset 34918 | 81c7ec7c1b91 |
parent 34126 | 8a2c5d7aff51 |
child 35076 | cc19e2aef17e |
permissions | -rw-r--r-- |
33197 | 1 |
(* Title: HOL/Nitpick_Examples/Nitpick_Examples.thy |
2 |
Author: Jasmin Blanchette, TU Muenchen |
|
3 |
Copyright 2009 |
|
4 |
||
5 |
Nitpick examples. |
|
6 |
*) |
|
7 |
||
8 |
theory Nitpick_Examples |
|
34126 | 9 |
imports Core_Nits Datatype_Nits Induct_Nits Integer_Nits Manual_Nits Mini_Nits |
10 |
Mono_Nits Pattern_Nits Record_Nits Refute_Nits Special_Nits Tests_Nits |
|
33197 | 11 |
Typedef_Nits |
12 |
begin |
|
13 |
end |