| changeset 10885 | 90695f46440b |
| parent 10396 | 5ab08609e6c8 |
| child 11161 | 166f7d87b37f |
--- a/doc-src/TutorialI/Types/Overloading1.thy Fri Jan 12 16:28:14 2001 +0100 +++ b/doc-src/TutorialI/Types/Overloading1.thy Fri Jan 12 16:32:01 2001 +0100 @@ -1,6 +1,6 @@ (*<*)theory Overloading1 = Main:(*>*) -subsubsection{*Controlled overloading with type classes*} +subsubsection{*Controlled Overloading with Type Classes*} text{* We now start with the theory of ordering relations, which we want to phrase