{"MetaCalculi-Program-150518" -> "A common program for all w-meta-calculi. \
Continues <a \
href=\"../../../2014-07/MetaCalculi/index.html\">pensieve://2014-07/MetaCalcu\
li/</a>.", "MetaCalculi-Testing-150518" -> "Testing the common program for \
all w-meta-calculi. Continues <a \
href=\"../../../2014-07/MetaCalculi/index.html\">pensieve://2014-07/MetaCalcu\
li/</a>.", "UnitaryGamma-230119" -> "Unitarity for &Gamma;-calculus.", 
 "UnitaryGamma-230120" -> "Unitarity for &Gamma;-calculus.", 
 "UnitaryGamma-230124" -> "Unitarity for &Gamma;-calculus.", 
 "UnitaryGamma-230210" -> "Unitarity for &Gamma;-calculus.", 
 "UnitaryGamma-230214" -> "Unitarity for &Gamma;-calculus."}
