| changeset 72991 | d0a0b74f0ad7 |
| parent 69597 | ff784d5a5bfb |
| 72990:db8f94656024 | 72991:d0a0b74f0ad7 |
|---|---|
1 (*<*)theory Overloading imports Main Setup begin |
1 (*<*)theory Overloading imports "../Setup" begin |
2 |
2 |
3 hide_class (open) plus (*>*) |
3 hide_class (open) plus (*>*) |
4 |
4 |
5 text \<open>Type classes allow \emph{overloading}; thus a constant may |
5 text \<open>Type classes allow \emph{overloading}; thus a constant may |
6 have multiple definitions at non-overlapping types.\<close> |
6 have multiple definitions at non-overlapping types.\<close> |