equal
deleted
inserted
replaced
17 \end{itemize} |
17 \end{itemize} |
18 |
18 |
19 \section{Numbers} |
19 \section{Numbers} |
20 \label{sec:numbers} |
20 \label{sec:numbers} |
21 |
21 |
22 \index{product type|(} |
22 \index{pair|(} |
23 \input{Types/document/Pairs} |
23 \input{Types/document/Pairs} |
24 \index{product type|)} |
24 \index{pair|)} |
25 % Check refs to this section to see what is expected of it. |
|
26 % Mention type unit |
|
27 |
25 |
28 \section{Records} |
26 \section{Records} |
29 \label{sec:records} |
27 \label{sec:records} |
30 |
28 |
31 \input{Types/document/Typedef} |
29 \input{Types/document/Typedef} |