| changeset 35946 | 7a86d7706106 |
| parent 35154 | 52ab455915d8 |
| child 35981 | bd4e0d68c56d |
--- a/src/HOL/Boogie/Examples/Boogie_Max.certs Wed Mar 24 14:03:52 2010 +0100 +++ b/src/HOL/Boogie/Examples/Boogie_Max.certs Wed Mar 24 14:08:07 2010 +0100 @@ -1,4 +1,4 @@ -iks4GfP7O/NgNFyGZ4ynjQ 2224 0 +cdfef9f27f2a4ba9648f86890c8563d0a1cfe888 2224 0 #2 := false #4 := 0::int decl uf_3 :: (-> int int)