| changeset 2291 | fbd14a05fb88 |
| parent 2278 | d63ffafce255 |
| child 2394 | 91d8abf108be |
| 2290:e5c08f8b483b | 2291:fbd14a05fb88 |
|---|---|
27 translations |
27 translations |
28 |
28 |
29 "case l of up`x => t1" == "fup`(LAM x.t1)`l" |
29 "case l of up`x => t1" == "fup`(LAM x.t1)`l" |
30 |
30 |
31 (* start 8bit 1 *) |
31 (* start 8bit 1 *) |
32 translations |
|
33 |
|
34 "case l of up`x => t1" == "fup`(¤x.t1)`l" |
|
35 (* end 8bit 1 *) |
32 (* end 8bit 1 *) |
36 |
33 |
37 end |
34 end |
38 |
35 |
39 |
36 |