| changeset 35981 | bd4e0d68c56d |
| parent 35946 | 7a86d7706106 |
| child 36900 | 631e961a9e95 |
--- a/src/HOL/Boogie/Examples/Boogie_Max.certs Fri Mar 26 23:57:35 2010 +0100 +++ b/src/HOL/Boogie/Examples/Boogie_Max.certs Fri Mar 26 23:58:27 2010 +0100 @@ -1,4 +1,4 @@ -cdfef9f27f2a4ba9648f86890c8563d0a1cfe888 2224 0 +eafecd70b5ba5010589b5ae443c033b4aa8eb332 2224 0 #2 := false #4 := 0::int decl uf_3 :: (-> int int)