\documentclass[a4paper]{article}
\usepackage{url}
\usepackage{paralist}
\usepackage{textcomp}
\usepackage{multicol}
\usepackage{url}
\usepackage{lscape,longtable}
\usepackage{graphicx}
\usepackage{calc}
\usepackage{colortbl}
\usepackage[latin1]{inputenc}
\usepackage{eurosym}



% a bit wider
\advance\evensidemargin-.5in
\advance\oddsidemargin-.5in
\advance\textwidth1in
% Vertical space mods from Mike's old 2.09 version.
% Separate paragraphs, and subvert \item to leave less space!
%
\parskip=0.5\baselineskip
\parindent=0pt



\newlength{\WMwd}
\newlength{\WMaddr}
\font\fa=cmcsc10  scaled 1440
\font\fb=cmss12   scaled 1095
\font\fc=cmss10   scaled 1000


\def\kopf{
 \settowidth{\WMwd}{\fa Dr.\ Olga Caprotti}
 \settowidth{\WMaddr}{\fc caprottio@acm.orgXXXXXX}
 \expandafter\ifx\csname fontsize\endcsname\relax\else
   \fontsize{12}{14.4pt}\selectfont
 \fi
 \vspace*{7truemm}
 %{\fc\hspace{.0em}}
 \parbox[t]{\WMwd}{{\fa Web4Math} \\
                   {\fb Dr.\ Olga Caprotti} \\
                   {\fc caprottio@acm.org} }
 \hfill
 \parbox[t]{\WMaddr}{\fc H.\"O. M\"ollersv\"ag 5 \\
                     \fc SE--24471 D\"osjebro \\
                     \fc voice: +46 46 772163}
\vspace*{2truemm}
\hrule
\vspace*{7truemm}
}

\pagestyle{headings}

\begin{document}

\begin{titlepage}
\vspace*{-2.5cm}%
\kopf


{\LARGE\bfseries{LeAM Phrasebook in Java}}

\parbox[t]{10cm}
{{\fb Tender}: \fc  FP6-LeAM/2004/004\\
 {\fb Project}: \fc LeActiveMath \\
 {\fb Date}: \fc \today \\
}



\vfill
  
\end{titlepage}
 
\date{Tender: 
  Project: LeActiveMath}
 
\newpage
\def\contentsname{\sffamily Contents}%
{\small\sffamily\tableofcontents\par}


\newpage

\normalsize

\section{Introduction }
\label{sec:intro}

This document is part of tender FP6-LeAM/2004/004 issued by the
European FP6 project "LeActiveMath" (IST-507826) concerning the
development of the \emph{LeAM Phrasebook}, technically an OpenMath
interface to a computational software system (CAS). It describes the
Content Dictionaries which will be supported by the Phrasebook,
focusing in particular on new Dictionaries that have to be created in
order to represent the area of calculus chosen for the application.



\section{Available Content Dictionaries}
\label{sec:oldcds}


Existing initial official CDs are available from the OpenMath site
(see \url{http://www.openmath.org/}): all MathML CDs, Error, Sets,
List functions. 


\newcommand{\symbolrow}[3]{\texttt{#1} &\hfill #2 &\hfill #3}


\subsection{MathML CDGroup}
\label{sec:mml}

\input{mmlcds}

\subsection{RIACA CDGroup}
\label{sec:mml}
 

prog1, set*, list*, fns*.

\input{riaca}

\section{New Content Dictionaries}
\label{sec:newcds}


This section describes the CDs that have be manufactured for the LeAM
Phrasebook.


\input{leamcds}

\bibliographystyle{siam}
\bibliography{monet}

\end{document}

