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>henk@cs.kun.nl</e-mail>
  11  <url>http://www.cs.kun.nl/~henk</url>
  12 </person>