matita.cs.unibo.it Git - helm.git/blob - 003.ent

]> matita.cs.unibo.it Git - helm.git/blob - 003.ent

projects / helm.git / blob

3610f125aa2b056a7e2baf1f7f7b07e1f57c7cdb

[helm.git] / 003.ent

1 <!ENTITY % e "<!ELEMENT ">

2 %e; doc (#PCDATA)>

Unnamed repository; edit this file 'description' to name the repository.