| changeset 37156 | 42c53229800d |
| parent 37153 | 8feed34275ce |
| child 40163 | a462d5207aa6 |
--- a/src/HOL/Boogie/Examples/Boogie_Dijkstra.certs Thu May 27 17:09:06 2010 +0200 +++ b/src/HOL/Boogie/Examples/Boogie_Dijkstra.certs Thu May 27 17:09:37 2010 +0200 @@ -1,4 +1,4 @@ -b3c5003cf9ccaad1080e68445c705767d58e45ae 6889 0 +585d6a826013e58a18631a689e131cc7e15b8538 6889 0 #2 := false decl f11 :: (-> S5 S2 S1) decl ?v1!7 :: (-> S2 S2)