computer applications.
The research group of Cohen is part of the
IST Thematic Network ``OpenMath'' (IST-2000-28719) and its ancestor,
- the OpenMath Esprit project ({\tt http://www.openmath.org/}).</p>
+ the OpenMath Esprit project (see <a target="_top" href="http://www.openmath.org/">http://www.openmath.org/</a>).</p>
</description>
<member file="nijmegen/geuvers"/>
<member file="nijmegen/cohen"/>
<member file="nijmegen/barendregt"/>
+ <member file="nijmegen/wiedijk"/>
+ <member file="nijmegen/barreiro"/>
+ <member file="nijmegen/cruz-filipe"/>
<member file="nijmegen/niqui"/>
<member file="nijmegen/stein"/>
- <member file="nijmegen/cruz-filipe"/>
- <member file="nijmegen/wiedijk"/>
<member file="nijmegen/synek"/>
- <member file="nijmegen/barreiro"/>
+
</site>