
  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/list2.ocd}} 
  
  In this CD, two basic constructors and two deconstructor functions are given for lists. 

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{list2:first}{application}{} \\ 
\hline
  \symbolrow{list2:rest}{application}{} \\ 
\hline
  \symbolrow{list2:cons}{application}{} \\ 
\hline
  \symbolrow{list2:nil}{constant}{} \\ 
\hline
  
\end{tabular}
