updated MaSh serialization number (to reflect new weights)
authorblanchet
Mon Dec 17 22:09:48 2012 +0100 (2012-12-17)
changeset 50588074e937459b6
parent 50587 bd6582be1562
child 50589 42f3630a6a0f
updated MaSh serialization number (to reflect new weights)
src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML
     1.1 --- a/src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML	Mon Dec 17 22:06:28 2012 +0100
     1.2 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML	Mon Dec 17 22:09:48 2012 +0100
     1.3 @@ -296,7 +296,7 @@
     1.4  
     1.5  local
     1.6  
     1.7 -val version = "*** MaSh version 20121212a ***"
     1.8 +val version = "*** MaSh version 20121217a ***"
     1.9  
    1.10  exception Too_New of unit
    1.11