{"AlphaTrace" -> "The trace in &alpha;-calculus.", 
 "MetaCalculi-Program" -> "A common program for all w-meta-calculi. Continues \
<a \
href=\"../../2014-07/MetaCalculi/index.html\">pensieve://2014-07/MetaCalculi/\
</a>.", "KVinGamma" -> 
  "Verifying the full set of KV equations in &Gamma;-calculus.", 
 "MetaCalculi" -> "A common program for all w-meta-calculi. Continues <a \
href=\"../../2014-07/MetaCalculi/index.html\">pensieve://2014-07/MetaCalculi/\
</a>.", "200614-Extracts" -> "&alpha; and &Gamma; extracts from \
MetaCalculi.nb at <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-07/MetaCalculi/index.html\">pensieve://2014-07/MetaCalculi/\
</a>.", "UnitaryGamma-230119" -> "Unitarity for &Gamma;-calculus.", 
 "UnitaryGamma-230120" -> "Unitarity for &Gamma;-calculus.", 
 "UnitaryGamma-230124" -> "Unitarity for &Gamma;-calculus.", 
 "UnitaryGamma-FindingL0" -> "Unitarity for &Gamma;-calculus - finding the \
${\\mathcal L}_0$ for which $\\bar{A}={\\mathcal L}_0A$.", 
 "UnitaryGamma-230210" -> "Unitarity for &Gamma;-calculus.", 
 "UnitaryGamma-230214" -> "Unitarity for &Gamma;-calculus.", 
 "UnitaryGamma" -> "Unitarity for &Gamma;-calculus."}
