| changeset 37156 | 42c53229800d |
| parent 36900 | 631e961a9e95 |
| child 40163 | a462d5207aa6 |
--- a/src/HOL/Boogie/Examples/VCC_Max.certs Thu May 27 17:09:06 2010 +0200 +++ b/src/HOL/Boogie/Examples/VCC_Max.certs Thu May 27 17:09:37 2010 +0200 @@ -1,4 +1,4 @@ -95b4b08061ee75475bbfdf75c59af3c86af542dc 7862 0 +a2095afb5c01aff7b980eece0ecc2b89ecf5e46c 7862 0 #2 := false decl f111 :: (-> S4 S5 int) decl f67 :: (-> S5 int S3 S5)