
  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.leactivemath.org/cd/trs1.ocd}} 
  
  Rewriting on expressions, including substitution, normal form, rewrite with a certain rule 

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{trs1:normal_form}{application}{} \\ 
\hline
  \symbolrow{trs1:simplified_form}{application}{} \\ 
\hline
  \symbolrow{trs1:rewriting_by}{application}{} \\ 
\hline
  \symbolrow{trs1:term_rewriting_system}{application}{} \\ 
\hline
  \symbolrow{trs1:trs}{application}{} \\ 
\hline
  \symbolrow{trs1:rewrite_rule}{application}{} \\ 
\hline
  
\end{tabular}
