helm/mowgli/home/xml/people/dfki/kohlhase.xml

   1 <?xml version="1.0"?>
   2
   3 <!DOCTYPE person SYSTEM "../person.dtd">
   4
   5 <person>
   6  <name>Michael</name>
   7  <surname>Kohlhase</surname>
   8  <qualification>Dr.</qualification>
   9  <e-mail>kohlhase@cs.cmu.edu</e-mail>
  10  <url>http://www.ags.uni-sb.de/~kohlhase/</url>
  11 </person>