/src/HOL/Nitpick_Examples/
drwxr-xr-x [up]
-rw-r--r-- 2010-02-11 23:00 +0100 28923 Core_Nits.thy
-rw-r--r-- 2010-02-11 23:00 +0100 2133 Datatype_Nits.thy
-rw-r--r-- 2010-02-11 23:00 +0100 2153 Hotel_Nits.thy
-rw-r--r-- 2010-02-11 23:00 +0100 4310 Induct_Nits.thy
-rw-r--r-- 2010-02-11 23:00 +0100 5618 Integer_Nits.thy
-rw-r--r-- 2010-02-11 23:00 +0100 12964 Manual_Nits.thy
-rw-r--r-- 2010-02-11 23:00 +0100 5268 Mini_Nits.thy
-rw-r--r-- 2010-02-11 23:00 +0100 4261 Mono_Nits.thy
-rw-r--r-- 2010-02-11 23:00 +0100 379 Nitpick_Examples.thy
-rw-r--r-- 2010-02-11 23:00 +0100 2599 Pattern_Nits.thy
-rw-r--r-- 2010-02-11 23:00 +0100 268 ROOT.ML
-rw-r--r-- 2010-02-11 23:00 +0100 2056 Record_Nits.thy
-rw-r--r-- 2010-02-11 23:00 +0100 29165 Refute_Nits.thy
-rw-r--r-- 2010-02-11 23:00 +0100 6342 Special_Nits.thy
-rw-r--r-- 2010-02-11 23:00 +0100 257 Tests_Nits.thy
-rw-r--r-- 2010-02-11 23:00 +0100 4977 Typedef_Nits.thy