author | blanchet |
Wed, 06 Jun 2012 10:35:05 +0200 | |
changeset 48094 | c3d4f4d9e54c |
parent 48093 | ebc75afed39a |
child 48095 | bb836e77f590 |
--- a/NEWS Wed Jun 06 10:35:05 2012 +0200 +++ b/NEWS Wed Jun 06 10:35:05 2012 +0200 @@ -31,6 +31,10 @@ failures, enable the configuration option "z3_with_extensions". Minor INCOMPATIBILITY. +* Sledgehammer: + + - Rationalized type encodings ("type_enc" option). + New in Isabelle2012 (May 2012) ------------------------------