src/HOL/Nitpick_Examples/ROOT.ML
Wed, 22 Sep 2010 18:21:48 +0200 wenzelm renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
Tue, 22 Jun 2010 12:19:06 +0200 blanchet make the Nitpick_Example theory processable even when Kodkodi is not installed;
Tue, 17 Nov 2009 19:08:02 +0100 blanchet removed "debug := true" that shouldn't have been submitted in the first place
Tue, 17 Nov 2009 18:24:43 +0100 blanchet run Nitpick examples if Kodkodi is available
Fri, 23 Oct 2009 18:59:24 +0200 blanchet continuation of Nitpick's integration into Isabelle;
less more (0) tip