]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/people/nijmegen/cohen.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / people / nijmegen / cohen.xml
index 447c6b4285a147c643f49e08d857752dbb5132a0..5dde5b1441841276bdab32c2b657b3ec6c1c0f03 100644 (file)
@@ -7,6 +7,6 @@
  <surname>Cohen</surname>
  <qualification>Prof.</qualification>
  <position>Full Professor, Eindhoven</position>
- <e-mail>???</e-mail>
- <url>???</url>
+ <e-mail>A.M.Cohen@tue.nl</e-mail>
+ <url>http://www.win.tue.nl/~amc</url>
 </person>