| changeset 40333 | 12a06ad29681 |
| parent 40163 | a462d5207aa6 |
| child 41064 | 0c447a17770a |
| 40332:5edeb5d269fa | 40333:12a06ad29681 |
|---|---|
1 5815fb85125ba62bb3b4a150604c8978e5a08a22 7862 0 |
1 9e8f6c5e5fd53eee967069dced75f48858a605e7 7862 0 |
2 #2 := false |
2 #2 := false |
3 decl f111 :: (-> S4 S5 int) |
3 decl f111 :: (-> S4 S5 int) |
4 decl f67 :: (-> S5 int S3 S5) |
4 decl f67 :: (-> S5 int S3 S5) |
5 decl f9 :: S3 |
5 decl f9 :: S3 |
6 #16 := f9 |
6 #16 := f9 |