src/HOL/Tools/Nitpick/nitpick_commands.ML
Mon, 03 Mar 2014 22:33:22 +0100 blanchet tuned code
Mon, 03 Mar 2014 22:33:22 +0100 blanchet removed nonstandard models from Nitpick
Fri, 31 Jan 2014 10:34:20 +0100 blanchet compile
Fri, 31 Jan 2014 10:23:32 +0100 blanchet tuned ML file name
less more (0) tip