| changeset 3323 | 194ae2e0c193 |
| parent 2838 | 2e908f29bc3d |
| child 3842 | b55686a7b22c |
| 3322:bc4d107fb6dd | 3323:194ae2e0c193 |
|---|---|
9 Cont = Fun3 + |
9 Cont = Fun3 + |
10 |
10 |
11 (* |
11 (* |
12 |
12 |
13 Now we change the default class! Form now on all untyped typevariables are |
13 Now we change the default class! Form now on all untyped typevariables are |
14 of default class pcpo |
14 of default class po |
15 |
15 |
16 *) |
16 *) |
17 |
17 |
18 |
18 |
19 default po |
19 default po |