src/HOL/Tools/Nitpick/nitpick_model.ML
2009-12-14 blanchet 2009-12-14 get rid of polymorphic equality in Nitpick's code + a few minor cleanups
2009-12-04 blanchet 2009-12-04 fixed paths in Nitpick's ML file headers
2009-11-24 blanchet 2009-11-24 generate clearer atom names in Nitpick for types that end with a digit; requested by a user
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-29 blanchet 2009-10-29 minor cleanup in Nitpick
2009-10-29 blanchet 2009-10-29 fixed error in Nitpick's display of uncurried constants, which resulted in an exception
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-26 blanchet 2009-10-26 make Nitpick compile again
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.