]> matita.cs.unibo.it Git - helm.git/blob - 018.xml
c3f011b1a81baf2754f9179f340847ea1a634d87
[helm.git] / 018.xml
1 <?xml version="1.0"?>
2 <!DOCTYPE any [
3 <!ELEMENT any ANY>
4 <!ELEMENT el EMPTY>
5 <!ATTLIST el id ID #IMPLIED
6              idrefs IDREFS #IMPLIED
7 >
8 ]>
9
10 <any>
11   <el id="a10"/>
12   <el idrefs="a10 a20"/>
13 </any>