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

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

projects / helm.git / blob

35b4309a3fac9411c0582c4ac577fe16a2812587

[helm.git] / 002.ent

1 <!ENTITY % e "(#PCDATA">

2 <!ELEMENT doc %e;)>

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