;
;   $Id$
;


Place your OpenMath CDs here and transform then to theory files by means of the
ocd-theory ant task (ant ocd-theory).