]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/sites/nijmegen.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / sites / nijmegen.xml
index cba5de1f4e21c17da9e748630bb4b22d2ec05717..a8daab27375c2b181977a4a906fa4ce0c9ee5124 100644 (file)
  <member file="nijmegen/geuvers"/>
  <member file="nijmegen/cohen"/>
  <member file="nijmegen/barendregt"/>
+ <member file="nijmegen/wiedijk"/>
+ <member file="nijmegen/barreiro"/>
+ <member file="nijmegen/cruz-filipe"/>
  <member file="nijmegen/niqui"/>
  <member file="nijmegen/stein"/>
- <member file="nijmegen/cruz-filipe"/>
- <member file="nijmegen/wiedijk"/>
  <member file="nijmegen/synek"/>
- <member file="nijmegen/barreiro"/>
+
 </site>