1.1 --- a/src/HOL/Tools/Nitpick/HISTORY	Tue Jun 01 11:58:50 2010 +0200
     1.2 +++ b/src/HOL/Tools/Nitpick/HISTORY	Tue Jun 01 12:20:08 2010 +0200
     1.3 @@ -16,6 +16,7 @@
     1.4    * Fixed soundness bug related to higher-order constructors
     1.5    * Improved precision of set constructs
     1.6    * Added cache to speed up repeated Kodkod invocations on the same problems
     1.7 +  * Added "atoms" option
     1.8    * Renamed "MiniSatJNI", "zChaffJNI", "BerkMinAlloy", and "SAT4JLight" to
     1.9      "MiniSat_JNI", "zChaff_JNI", "BerkMin_Alloy", and "SAT4J_Light"
    1.10    * Removed "skolemize", "uncurry", "sym_break", "flatten_prop",