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

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

projects / helm.git / blob

5b49337a209f063729404e2fd9b2194d543fb749

[helm.git] / 003.ent

1 <!ELEMENT doc (#PCDATA)>

2 <![ IGNORE [

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