{"ClosedComponents" -> "Studying closed components in &Gamma;-calculus.", 
 "MetaCalculi-Program" -> "A common program for all w-meta-calculi. Continues \
<a \
href=\"../../2014-06/MetaCalculi/index.html\">pensieve://2014-06/MetaCalculi/\
</a>, continued <a \
href=\"../../Projects/MetaCalculi/index.html\">pensieve://Projects/MetaCalcul\
i/</a>.", "MetaCalculi-Testing" -> "Testing the common program for all \
w-meta-calculi. Continues <a \
href=\"../../2014-06/MetaCalculi/index.html\">pensieve://2014-06/MetaCalculi/\
</a>, continued pensieve/Projects/MetaCalculi/."}
