| changeset 35154 | 52ab455915d8 |
| parent 35152 | 6007909a28bc |
| child 35946 | 7a86d7706106 |
--- a/src/HOL/Boogie/Examples/Boogie_Dijkstra.certs Tue Feb 16 16:20:34 2010 +0100 +++ b/src/HOL/Boogie/Examples/Boogie_Dijkstra.certs Tue Feb 16 16:20:46 2010 +0100 @@ -1,4 +1,4 @@ -2/jIbDaU00KSkSih1o9sXg 6542 0 +JinTdmjIiorL0/vvOyf3+w 6542 0 #2 := false decl up_6 :: (-> T4 T2 bool) decl ?x47!7 :: (-> T2 T2)