src/HOL/Tools/Nitpick/nitpick_scope.ML
2009-11-24 haftmann 2009-11-24 curried take/drop
2009-11-23 blanchet 2009-11-23 fixed soundness bug in Nitpick that occurred because unrolled predicate iterators were considered to be a "precise" type
2009-11-13 blanchet 2009-11-13 removed a few global names in Nitpick (styp, nat_less, pairf)
2009-11-05 blanchet 2009-11-05 added datatype constructor cache in Nitpick (to speed up the scope enumeration) and never test more than 4096 scopes
2009-10-27 blanchet 2009-10-27 optimized Nitpick's encoding and rendering of datatypes whose constructors don't appear in the problem
2009-10-27 blanchet 2009-10-27 internal renaming in Nitpick and fixed Kodkodi invokation on Linux; renamed Nitpick's ML structures from NitpickXxx to Nitpick_Xxx and added KODKODI_JAVA_LIBRARY_PATH to LD_LIBRARY_PATH before invoking Kodkodi
2009-10-22 blanchet 2009-10-22 added Nitpick's theory and ML files to Isabelle/HOL; the examples and the documentation are on their way.