src/HOL/Nitpick_Examples/Mono_Nits.thy
2010-02-05 blanchet 2010-02-05 added hotel key card example for Nitpick, and renumber atoms in Nitpick's output for increased readability
2010-02-04 blanchet 2010-02-04 adapted example following previous Nitpick change and fixed minor optimization in Nitpick
2010-02-02 blanchet 2010-02-02 added support for nonstandard models to Nitpick (based on an idea by Koen Claessen) and did other fixes to Nitpick
2009-12-17 blanchet 2009-12-17 added support for binary nat/int representation to Nitpick
2009-11-15 wenzelm 2009-11-15 provide actual Nitpick_HOL.extended_context;
2009-10-29 blanchet 2009-10-29 rename "NitpickMono" to "Nitpick_Mono" in example
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-23 blanchet 2009-10-23 continuation of Nitpick's integration into Isabelle; added examples, and integrated non-Main theories better.