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


64662ac808467b888ac0fdfce776c38068a8f85f
[helm.git] / 021.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="x"/>
Unnamed repository; edit this file 'description' to name the repository.