X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fpeople%2Fdfki%2Flibbrecht.xml;fp=helm%2Fmowgli%2Fhome%2Fxml%2Fpeople%2Fdfki%2Flibbrecht.xml;h=0000000000000000000000000000000000000000;hp=ab886a0136e68b1ef1b766ca23a880d726ff3194;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff

diff --git a/helm/mowgli/home/xml/people/dfki/libbrecht.xml b/helm/mowgli/home/xml/people/dfki/libbrecht.xml
deleted file mode 100644
index ab886a013..000000000
--- a/helm/mowgli/home/xml/people/dfki/libbrecht.xml
+++ /dev/null
@@ -1,15 +0,0 @@
-<?xml version="1.0"?>
-
-<!DOCTYPE person SYSTEM "../person.dtd">
-
-<person>
- <name>Paul</name>
- <surname>Libbrecht</surname>
- <position>Ph.D. Student</position>
- <e-mail>paul@activemath.org</e-mail>
- <url>http://www.activemath.org/~paul/</url>
- <address>AG Siekmann, DFKI, Stuhlsatzenhausweg 3, 66123 Saarbr&#x00fc;cken,
-  Germany</address>
- <telephone>+49 681 302 4628</telephone>
- <fax>+49 681 302 5076</fax>
-</person>