]> matita.cs.unibo.it Git - helm.git/blob - 003-1.ent
f7af6e8d9acb9beb948473f6ffd7e9e494694398
[helm.git] / 003-1.ent
1 <!ELEMENT doc EMPTY>
2 <!ENTITY % e SYSTEM "003-2.ent">
3 <!ATTLIST doc a1 CDATA %e; "v1">