| changeset 35981 | bd4e0d68c56d |
| parent 35946 | 7a86d7706106 |
| child 36900 | 631e961a9e95 |
| 35980:344afccb09d1 | 35981:bd4e0d68c56d |
|---|---|
1 b95bf7adc1e2b959cf13db317b64554768249b2e 7790 0 |
1 ecd63e557c7e66d192e7c9b7445f98b44f79ca34 7790 0 |
2 #2 := false |
2 #2 := false |
3 decl uf_110 :: (-> T4 T5 int) |
3 decl uf_110 :: (-> T4 T5 int) |
4 decl uf_66 :: (-> T5 int T3 T5) |
4 decl uf_66 :: (-> T5 int T3 T5) |
5 decl uf_7 :: T3 |
5 decl uf_7 :: T3 |
6 #10 := uf_7 |
6 #10 := uf_7 |