]> matita.cs.unibo.it Git - helm.git/blob - negative/data_invalid/010.xml
made executable again
[helm.git] / negative / data_invalid / 010.xml
1 <?xml version="1.0"?>
2 <!DOCTYPE el [
3 <!ELEMENT el EMPTY>
4 <!ATTLIST el id ID #IMPLIED>
5 ]>
6
7 <el id="100"/>