{"MetaCalculi-Program" -> "A common program for all w-meta-calculi. Continues \
<a \
href=\"../../2014-05/MetaCalculi/index.html\">pensieve://2014-05/MetaCalculi/\
</a>, continued <a \
href=\"../../2014-07/MetaCalculi/index.html\">pensieve://2014-07/MetaCalculi/\
</a>.", "MetaCalculi-Testing" -> "Testing the common program for all \
w-meta-calculi. Continues <a \
href=\"../../2014-05/MetaCalculi/index.html\">pensieve://2014-05/MetaCalculi/\
</a>, continued <a \
href=\"../../2014-07/MetaCalculi/index.html\">pensieve://2014-07/MetaCalculi/\
</a>."}
