]> matita.cs.unibo.it Git - helm.git/blob - 027.xml
projects / helm.git / blob
? search:


9c1fffbdb74d0402b2ba53b3499e6e46935d1af8
[helm.git] / 027.xml
1 <?xml version="1.0"?>
2 <!DOCTYPE el [
3 <!ENTITY ndata SYSTEM "" NDATA x>
4 <!ELEMENT el EMPTY>
5 <!ATTLIST el ent ENTITY "10">
6 ]>
7
8 <el/>
Unnamed repository; edit this file 'description' to name the repository.