]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/people/nijmegen/wiedijk.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / people / nijmegen / wiedijk.xml
index 11ea7ecdff40c070784402c041f0c004fcc816a3..1244fe68834d90d1e5765a3c2bf62f0938810f26 100644 (file)
@@ -4,7 +4,7 @@
 
 <person>
  <name>Freek</name>
- <surname>Widijk</surname>
+ <surname>Wiedijk</surname>
  <qualification>Dr.</qualification>
  <position>Post Doc Researcher, Nijmegen</position>
  <e-mail>freek@cs.kun.nl</e-mail>