/src/HOL/Nitpick_Examples/
drwxr-xr-x [up]
-rw-r--r-- 2011-08-19 14:17 -0700 23228 Core_Nits.thy
-rw-r--r-- 2011-08-19 14:17 -0700 2125 Datatype_Nits.thy
-rw-r--r-- 2011-08-19 14:17 -0700 2242 Hotel_Nits.thy
-rw-r--r-- 2011-08-19 14:17 -0700 3521 Induct_Nits.thy
-rw-r--r-- 2011-08-19 14:17 -0700 6669 Integer_Nits.thy
-rw-r--r-- 2011-08-19 14:17 -0700 16059 Manual_Nits.thy
-rw-r--r-- 2011-08-19 14:17 -0700 9245 Mono_Nits.thy
-rw-r--r-- 2011-08-19 14:17 -0700 369 Nitpick_Examples.thy
-rw-r--r-- 2011-08-19 14:17 -0700 2624 Pattern_Nits.thy
-rw-r--r-- 2011-08-19 14:17 -0700 209 ROOT.ML
-rw-r--r-- 2011-08-19 14:17 -0700 2119 Record_Nits.thy
-rw-r--r-- 2011-08-19 14:17 -0700 29004 Refute_Nits.thy
-rw-r--r-- 2011-08-19 14:17 -0700 6213 Special_Nits.thy
-rw-r--r-- 2011-08-19 14:17 -0700 285 Tests_Nits.thy
-rw-r--r-- 2011-08-19 14:17 -0700 4755 Typedef_Nits.thy