doc-src/TutorialI/Types/types.tex
changeset 10329 a9898d89a634
parent 10328 bf33cbd76c05
child 10362 c6b197ccf1f1
equal deleted inserted replaced
10328:bf33cbd76c05 10329:a9898d89a634
    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 \input{Types/document/Axioms}
    45 \input{Types/document/Axioms0}
    46 
    46 
    47 \index{axiomatic type class|)}
    47 \index{axiomatic type class|)}
    48 \index{*axclass|)}
    48 \index{*axclass|)}