]> matita.cs.unibo.it Git - helm.git/blob - 124.xml
1abde7baeaf199628be3cd7f8d2b5b0228479039
[helm.git] / 124.xml
1 <!DOCTYPE doc [
2 <!ELEMENT doc (doc|#PCDATA)*>
3 ]>
4 <doc></doc>