]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/people/dfki/libbrecht.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / people / dfki / libbrecht.xml
index f21d9aff06eacb23323ec6548aa337752af2ff03..ab886a0136e68b1ef1b766ca23a880d726ff3194 100644 (file)
@@ -11,5 +11,5 @@
  <address>AG Siekmann, DFKI, Stuhlsatzenhausweg 3, 66123 Saarbr&#x00fc;cken,
   Germany</address>
  <telephone>+49 681 302 4628</telephone>
- <fax>+49 681 302 5076</telephone>
+ <fax>+49 681 302 5076</fax>
 </person>