use correct Isabelle version name in README file
authorblanchet
Tue Nov 24 16:11:50 2009 +0100 (2009-11-24)
changeset 338884e0da333f75b
parent 33887 d9d0faf8d511
child 33889 4328de748fb2
use correct Isabelle version name in README file
src/HOL/Tools/Nitpick/HISTORY
     1.1 --- a/src/HOL/Tools/Nitpick/HISTORY	Tue Nov 24 16:07:31 2009 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/HISTORY	Tue Nov 24 16:11:50 2009 +0100
     1.3 @@ -1,4 +1,4 @@
     1.4 -Version 2010
     1.5 +Version 2009-1
     1.6  
     1.7    * Moved into Isabelle/HOL "Main"
     1.8    * Renamed "nitpick_const_def" to "nitpick_def", "nitpick_const_simp" to