]> matita.cs.unibo.it Git - helm.git/blob - negative/data_invalid/038.xml
made executable again
[helm.git] / negative / data_invalid / 038.xml
1 <?xml version="1.0"?>
2 <!DOCTYPE el [
3 <!ELEMENT el EMPTY>
4 <!ATTLIST el x CDATA #FIXED "abc">
5 ]>
6
7 <el x="def"/>