/src/HOL/Nitpick_Examples/
drwxr-xr-x [up]
-rw-r--r-- 2010-02-05 14:27 +0100 28922 Core_Nits.thy
-rw-r--r-- 2010-02-05 14:27 +0100 2132 Datatype_Nits.thy
-rw-r--r-- 2010-02-05 14:27 +0100 2152 Hotel_Nits.thy
-rw-r--r-- 2010-02-05 14:27 +0100 4309 Induct_Nits.thy
-rw-r--r-- 2010-02-05 14:27 +0100 5617 Integer_Nits.thy
-rw-r--r-- 2010-02-05 14:27 +0100 12963 Manual_Nits.thy
-rw-r--r-- 2010-02-05 14:27 +0100 5268 Mini_Nits.thy
-rw-r--r-- 2010-02-05 14:27 +0100 4261 Mono_Nits.thy
-rw-r--r-- 2010-02-05 14:27 +0100 379 Nitpick_Examples.thy
-rw-r--r-- 2010-02-05 14:27 +0100 2598 Pattern_Nits.thy
-rw-r--r-- 2010-02-05 14:27 +0100 268 ROOT.ML
-rw-r--r-- 2010-02-05 14:27 +0100 2055 Record_Nits.thy
-rw-r--r-- 2010-02-05 14:27 +0100 29164 Refute_Nits.thy
-rw-r--r-- 2010-02-05 14:27 +0100 6341 Special_Nits.thy
-rw-r--r-- 2010-02-05 14:27 +0100 257 Tests_Nits.thy
-rw-r--r-- 2010-02-05 14:27 +0100 4918 Typedef_Nits.thy