+++ /dev/null
-<?xml version="1.0"?>
-
-<!DOCTYPE person SYSTEM "../person.dtd">
-
-<person>
- <name>Henk</name>
- <surname>Barendregt</surname>
- <qualification>Prof.</qualification>
- <position>Full Professor, Nijmegen</position>
- <e-mail>henk@cs.kun.nl</e-mail>
- <url>http://www.cs.kun.nl/~henk</url>
-</person>