| Sun, 27 Jul 2014 21:11:35 +0200 | blanchet | do not embed 'nat' into 'int's in 'smt2' method -- this is highly inefficient and decreases the Sledgehammer success rate significantly | changeset | files |
| Sun, 27 Jul 2014 15:44:08 +0200 | wenzelm | back to post-release mode -- after fork point; | changeset | files |
| Sun, 27 Jul 2014 15:29:42 +0200 | wenzelm | tuned; | changeset | files |