changeset 17914 | 99ead7a7eb42 |
parent 12815 | 1f073030b97a |
child 19287 | 45b8ddc2fab8 |
17913:4159e1523ad8 | 17914:99ead7a7eb42 |
---|---|
1 (*<*)theory Overloading1 = Main:(*>*) |
1 (*<*)theory Overloading1 imports Main begin(*>*) |
2 |
2 |
3 subsubsection{*Controlled Overloading with Type Classes*} |
3 subsubsection{*Controlled Overloading with Type Classes*} |
4 |
4 |
5 text{* |
5 text{* |
6 We now start with the theory of ordering relations, which we shall phrase |
6 We now start with the theory of ordering relations, which we shall phrase |