4 <!ELEMENT people (from*)>
5 <!ELEMENT from (person*)>
8 <!ELEMENT person EMPTY>
15 <person file="asperti"/>
16 <person file="guidi"/>
17 <person file="padovani"/>
18 <person file="sacerdoti"/>
19 <person file="schena"/>
22 <person file="herbelin"/>
23 <person file="amerkad"/>
24 <person file="bertot"/>
25 <person file="chicli"/>
26 <person file="delahaye"/>
27 <person file="naciri"/>
28 <person file="pottier"/>
29 <person file="rideau"/>
30 <person file="thery"/>
33 <person file="siekmann"/>
34 <person file="kohlhase"/>
35 <person file="melis"/>
36 <person file="moschner"/>
37 <person file="goguadze"/>
38 <person file="libbrecht"/>
40 <from site="nijmegen">
41 <person file="geuvers"/>
42 <person file="cohen"/>
43 <person file="barendregt"/>
44 <person file="wiedijk"/>
45 <person file="barreiro"/>
46 <person file="cruz-filipe"/>
47 <person file="niqui"/>
48 <person file="stein"/>
49 <person file="synek"/>
52 <person file="schutz"/>
53 <person file="wegner"/>
54 <person file="kelley"/>
55 <person file="velden"/>
57 <from site="trusted-logic">
58 <person file="bolignano"/>