helm/mowgli/home/xml/people/nijmegen/barendregt.xml

   1 <?xml version="1.0"?>
   2
   3 <!DOCTYPE person SYSTEM "../person.dtd">
   4
   5 <person>
   6  <name>Henk</name>
   7  <surname>Barendregt</surname>
   8  <qualification>Prof.</qualification>
   9  <position>Full Professor, Nijmegen</position>
  10  <e-mail>???</e-mail>
  11  <url>???</url>
  12 </person>