changeset 50827 | aba769dc82e9 |
parent 50826 | 18ace05656cf |
child 50828 | 91e6836bb68b |
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML Fri Jan 11 16:30:56 2013 +0100 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML Fri Jan 11 16:30:56 2013 +0100 @@ -313,7 +313,7 @@ local -val version = "*** MaSh version 20130104a ***" +val version = "*** MaSh version 20130111a ***" exception Too_New of unit