doc-src/TutorialI/Types/types.tex
changeset 10328 bf33cbd76c05
parent 10305 adff80268127
child 10329 a9898d89a634
equal deleted 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|)}