]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/people/nijmegen/stein.xml
...
[helm.git] / helm / mowgli / home / xml / people / nijmegen / stein.xml
1 <?xml version="1.0"?>
2
3 <!DOCTYPE person SYSTEM "../person.dtd">
4
5 <person>
6  <name>Jasper</name>
7  <surname>Stein</surname>
8  <position>Ph.D. Student, Nijmegen</position>
9  <e-mail>jasper@cs.kun.nl</e-mail>
10  <url>http://www.cs.kun.nl/~jasper</url>
11 </person>