--- a/src/HOL/SMT_Examples/SMT_Word_Examples.certs Sun Jun 26 19:10:02 2011 +0200
+++ b/src/HOL/SMT_Examples/SMT_Word_Examples.certs Sun Jun 26 19:10:03 2011 +0200
@@ -30,27 +30,27 @@
unsat
dcac8a123cd5019a4174294cf01f82aa809aa855 1 0
unsat
-691a4333a9946e4eb6edc8b8f11d3a0121e7ad86 1 0
+12722d9dd871f78b7cf1d8c71c8b3895df97231b 1 0
unsat
dd2ea04983b1210e07bd977332f5928c281333a8 1 0
unsat
64c9fe73f7ca3832f4daec3b66d94e4f6c730fa5 1 0
unsat
-d8e56ac599bc3827a065804e88fc36c63a5afcfb 1 0
+72d447be1e4c7ba9ad39300590a185b5ff3d7a54 1 0
unsat
-a3340f8171cd0db9c0dd45f33a3cb1a42e793eee 1 0
+f9acba6675baa1463a0fbd893377a528d3bb0de9 1 0
unsat
-a8dd16a0d6a6514edcc3baafb20317536ccd338c 1 0
+9b6b36788fe27138833728937e7dba8ad83d5703 1 0
unsat
-d5adb105f62510f5a3181800d02bb2208b8170d6 1 0
+9e722a42cab872ac3674f51a989dbbdd036d2789 1 0
unsat
-f9ac14ab5e87743181fef8830f46edfda6007e6e 1 0
+aa4c66aec2950a794a74c5225e276b6f9af799a2 1 0
unsat
4c0484270388224d9c57afba772292a37ff06c2f 1 0
unsat
87f60e1fd68b7f68ba1c243bcc83defade8e108f 1 0
unsat
-56db2066218af38e5a0015563c6a360d4cba04a7 1 0
+18a8475ffc15d5c751aef1cd46792abd41d598e6 1 0
unsat
3bf2dcb45282e43fa4ebfc5c17aaa663f9ce6a76 1 0
unsat