
  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/list3.ocd}} 
  
  Several standard operations on lists, such as length and append, are given in this CD. 

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{list3:length}{application}{} \\ 
\hline
  \symbolrow{list3:in}{application}{} \\ 
\hline
  \symbolrow{list3:list_selector}{application}{} \\ 
\hline
  \symbolrow{list3:select}{}{} \\ 
\hline
  \symbolrow{list3:append}{application}{} \\ 
\hline
  \symbolrow{list3:concatenate}{application}{} \\ 
\hline
  
\end{tabular}
