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