| changeset 35981 | bd4e0d68c56d |
| parent 35946 | 7a86d7706106 |
| child 36900 | 631e961a9e95 |
--- a/src/HOL/Boogie/Examples/Boogie_Dijkstra.certs Fri Mar 26 23:57:35 2010 +0100 +++ b/src/HOL/Boogie/Examples/Boogie_Dijkstra.certs Fri Mar 26 23:58:27 2010 +0100 @@ -1,4 +1,4 @@ -6164a2366a9e57e212b8ac4aa01e3c8bcc1ea8e0 6542 0 +d29d9bae6b4b919e45b23de87975f8734cce2039 6542 0 #2 := false decl up_6 :: (-> T4 T2 bool) decl ?x47!7 :: (-> T2 T2)