X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fpeople%2Fdfki%2Flibbrecht.xml;fp=helm%2Fmowgli%2Fhome%2Fxml%2Fpeople%2Fdfki%2Flibbrecht.xml;h=0000000000000000000000000000000000000000;hb=bb2953675ebb08267186029b18bc3fdca9c137df;hp=ab886a0136e68b1ef1b766ca23a880d726ff3194;hpb=1cfcea66d7394a785ec439cd6b03497b276918c4;p=helm.git 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 @@ - - - - - - Paul - Libbrecht - Ph.D. Student - paul@activemath.org - http://www.activemath.org/~paul/ -
AG Siekmann, DFKI, Stuhlsatzenhausweg 3, 66123 Saarbrücken, - Germany
- +49 681 302 4628 - +49 681 302 5076 -