| changeset 35946 | 7a86d7706106 |
| parent 35154 | 52ab455915d8 |
| child 35981 | bd4e0d68c56d |
| 35945:fcd02244e63d | 35946:7a86d7706106 |
|---|---|
1 JinTdmjIiorL0/vvOyf3+w 6542 0 |
1 6164a2366a9e57e212b8ac4aa01e3c8bcc1ea8e0 6542 0 |
2 #2 := false |
2 #2 := false |
3 decl up_6 :: (-> T4 T2 bool) |
3 decl up_6 :: (-> T4 T2 bool) |
4 decl ?x47!7 :: (-> T2 T2) |
4 decl ?x47!7 :: (-> T2 T2) |
5 decl ?x75!20 :: T2 |
5 decl ?x75!20 :: T2 |
6 #2146 := ?x75!20 |
6 #2146 := ?x75!20 |