
  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/list2.ocd}} 
  
  Several convenient but not basic list functions are given in this CD. 

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{list4:entry}{}{} \\ 
\hline
  \symbolrow{list4:reverse}{application}{} \\ 
\hline
  \symbolrow{list4:difference}{}{} \\ 
\hline
  \symbolrow{list4:remove}{}{} \\ 
\hline
  \symbolrow{list4:list_of_lengthn}{}{} \\ 
\hline
  
\end{tabular}
