--- a/NEWS Mon Feb 03 17:13:31 2014 +0100
+++ b/NEWS Mon Feb 03 17:18:38 2014 +0100
@@ -115,6 +115,8 @@
* Big_Operators.thy ~> Groups_Big.thy and Lattices_Big.thy
* Sledgehammer:
+ - New option:
+ smt
- Renamed options:
isar_compress ~> compress_isar
isar_try0 ~> try0_isar