/src/HOL/Nitpick_Examples/
drwxr-xr-x [up]
-rw-r--r-- 2009-10-23 18:59 +0200 28808 Core_Nits.thy
-rw-r--r-- 2009-10-23 18:59 +0200 2060 Datatype_Nits.thy
-rw-r--r-- 2009-10-23 18:59 +0200 4255 Induct_Nits.thy
-rw-r--r-- 2009-10-23 18:59 +0200 11191 Manual_Nits.thy
-rw-r--r-- 2009-10-23 18:59 +0200 5262 Mini_Nits.thy
-rw-r--r-- 2009-10-23 18:59 +0200 4072 Mono_Nits.thy
-rw-r--r-- 2009-10-23 18:59 +0200 350 Nitpick_Examples.thy
-rw-r--r-- 2009-10-23 18:59 +0200 2518 Pattern_Nits.thy
-rw-r--r-- 2009-10-23 18:59 +0200 209 ROOT.ML
-rw-r--r-- 2009-10-23 18:59 +0200 1974 Record_Nits.thy
-rw-r--r-- 2009-10-23 18:59 +0200 29085 Refute_Nits.thy
-rw-r--r-- 2009-10-23 18:59 +0200 6254 Special_Nits.thy
-rw-r--r-- 2009-10-23 18:59 +0200 250 Tests_Nits.thy
-rw-r--r-- 2009-10-23 18:59 +0200 4971 Typedef_Nits.thy