doc-src/TutorialI/Types/types.tex
 changeset 10328 bf33cbd76c05 parent 10305 adff80268127 child 10329 a9898d89a634
equal inserted replaced
10327:19214ac381cf 10328:bf33cbd76c05
    40 \input{Types/document/Overloading}
    40 \input{Types/document/Overloading}
    41 \input{Types/document/Overloading2}
    41 \input{Types/document/Overloading2}
    42
    42
    43 \index{overloading|)}
    43 \index{overloading|)}
    44
    44
    45 Finally we should remind our readers that \isa{Main} contains a much more
    45 \input{Types/document/Axioms}
    46 developed theory of orderings phrased in terms of the usual $\leq$ and

    47 \isa{<}. It is recommended that, if possible, you base your own

    48 ordering relations on this theory.

    49
    46
    50 \index{axiomatic type class|)}
    47 \index{axiomatic type class|)}
    51 \index{*axclass|)}
    48 \index{*axclass|)}