{"MetaCalculi-Program" -> "A common program for all w-meta-calculi. Continued \
<a \
href=\"../../2014-06/MetaCalculi/index.html\">pensieve://2014-06/MetaCalculi/\
</a>."}
