src/HOL/Nitpick_Examples/Integer_Nits.thy
2010-08-03 blanchet 2010-08-03 speed up Nitpick examples a little bit
2010-06-21 blanchet 2010-06-21 adjusted Nitpick examples to latest changes + make them slightly faster
2010-03-10 blanchet 2010-03-10 fixed soundness bug in Nitpick
2010-02-09 blanchet 2010-02-09 optimization to quantifiers in Nitpick's handling of simp rules + renamed some SAT solvers
2010-02-05 blanchet 2010-02-05 added hotel key card example for Nitpick, and renumber atoms in Nitpick's output for increased readability
2009-12-18 blanchet 2009-12-18 polished Nitpick's binary integer support etc.; etc. = improve inconsistent scope correction + sort values nicely in output + handle "mod" using the characterization "x mod y = x - x div y * y" (instead of explicit code in Nitpick) + introduce KK = Kodkod as abbreviation