]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/people/dfki/libbrecht.xml
Paul Libbrecht added.
[helm.git] / helm / mowgli / home / xml / people / dfki / libbrecht.xml
diff --git a/helm/mowgli/home/xml/people/dfki/libbrecht.xml b/helm/mowgli/home/xml/people/dfki/libbrecht.xml
new file mode 100644 (file)
index 0000000..f21d9af
--- /dev/null
@@ -0,0 +1,15 @@
+<?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</telephone>
+</person>