<member file="bologna/guidi"/>
<member file="bologna/sacerdoti"/>
<description>
- <p>The <I>Hypertextual Electronic Library of Mathematics</I> Project
+ <p>The <em>Hypertextual Electronic Library of Mathematics</em> Project
is active in Bologna since 1999. Its aim is the development of a suitable
technology for the creation and maintenance of a virtual, distributed,
hypertextual library of formal mathematical knowledge. As a subsidiary