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


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