| changeset 35981 | bd4e0d68c56d |
| parent 35946 | 7a86d7706106 |
| child 36900 | 631e961a9e95 |
| 35980:344afccb09d1 | 35981:bd4e0d68c56d |
|---|---|
1 6164a2366a9e57e212b8ac4aa01e3c8bcc1ea8e0 6542 0 |
1 d29d9bae6b4b919e45b23de87975f8734cce2039 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 |