
  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/fns3.ocd}} 
  
  This CD holds further functions concerning functions themselves. A particularly interesting function is function which constructs a function with given domain and range. 

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{fns3:function}{}{} \\ 
\hline
  \symbolrow{fns3:specification}{}{} \\ 
\hline
  
\end{tabular}

  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/fns4.ocd}} 
  
  This CD holds further symbols concerning functions. A particularly interesting symbol is maps_to which extends the usual lambda binder. Another is assign_to which helps to specify (partially) the image of a function on a specific element. 

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{fns4:maps_to}{}{} \\ 
\hline
  \symbolrow{fns4:assign_to}{}{} \\ 
\hline
  
\end{tabular}

  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/list1.ocd}} 
  
  This CD is intended to be `compatible' with MathML list constructs. A.M. Cohen slightly edited the description of the suchthat symbol (eq, "the set" replaced by "a set X"). 

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{list1:map}{}{} \\ 
\hline
  \symbolrow{list1:suchthat}{}{} \\ 
\hline
  \symbolrow{list1:list}{}{} \\ 
\hline
  
\end{tabular}

  %-------------------------------------------------%
  \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}

  %-------------------------------------------------%
  \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}

  %-------------------------------------------------%
  \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}

  %-------------------------------------------------%
  \subsubsection{\texttt{}} 
  
  A CD for basic algorithmic concepts. We define the minimal machinery to write small programs in OpenMath encoding. Slightly edited by Arjeh Cohen on Decmeber 24, 2000. 

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{prog1:assignment}{application}{} \\ 
\hline
  \symbolrow{prog1:block}{application}{} \\ 
\hline
  \symbolrow{prog1:local_var}{application}{} \\ 
\hline
  \symbolrow{prog1:global_var}{application}{} \\ 
\hline
  \symbolrow{prog1:return}{application}{} \\ 
\hline
  \symbolrow{prog1:for}{application}{} \\ 
\hline
  \symbolrow{prog1:while}{application}{} \\ 
\hline
  \symbolrow{prog1:if}{application}{} \\ 
\hline
  \symbolrow{prog1:call_arguments}{application}{} \\ 
\hline
  \symbolrow{prog1:def_arguments}{application}{} \\ 
\hline
  \symbolrow{prog1:function_block}{application}{} \\ 
\hline
  \symbolrow{prog1:function_definition}{application}{} \\ 
\hline
  \symbolrow{prog1:function_call}{application}{} \\ 
\hline
  \symbolrow{prog1:procedure_definition}{application}{} \\ 
\hline
  \symbolrow{prog1:procedure_call}{application}{} \\ 
\hline
  \symbolrow{prog1:procedure_block}{application}{} \\ 
\hline
  
\end{tabular}

  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/set3.ocd}} 
  
  This CD defines more set functions. 

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{set3:big_intersect}{}{} \\ 
\hline
  \symbolrow{set3:big_union}{}{} \\ 
\hline
  \symbolrow{set3:cartesian_power}{}{} \\ 
\hline
  \symbolrow{set3:powerset}{}{} \\ 
\hline
  \symbolrow{set3:k_subsets}{}{} \\ 
\hline
  \symbolrow{set3:map_with_target}{}{} \\ 
\hline
  \symbolrow{set3:map_with_condition}{}{} \\ 
\hline
  \symbolrow{set3:map_with_target_and_condition}{}{} \\ 
\hline
  
\end{tabular}
