| changeset 15576 | efb95d0d01f7 |
| parent 15565 | 2454493bd77b |
| child 15577 | e16da3068ad6 |
| 15575:63babb1ee883 | 15576:efb95d0d01f7 |
|---|---|
4 License: GPL (GNU GENERAL PUBLIC LICENSE) |
4 License: GPL (GNU GENERAL PUBLIC LICENSE) |
5 |
5 |
6 Results about continuity and monotonicity |
6 Results about continuity and monotonicity |
7 *) |
7 *) |
8 |
8 |
9 theory Cont = Fun3: |
9 theory Cont = FunCpo: |
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 po |
14 of default class po |