{"muCalculus" -> "&mu;-calculus programs, continues <a \
href=\"../../2013-05/index.html\">pensieve://2013-05/</a>.", 
 "TrialityComputations" -> "Understanding Rot120 / Triality.", 
 "DoubleTreeVerification" -> "Formula testing for the future double-tree \
paper; continues <a \
href=\"../../2013-10/index.html\">pensieve://2013-10/</a>."}
