66
67 \index{axiomatic type classes|)}
68 \index{*axclass|)}
69
70
71 \input{Types/document/Typedef}
71 \input{Types/document/Typedefs}