{"tderExperiments" -> "Experiments with tder.", 
 "muCalculus-Testing" -> "&mu;-calculus testing suite.", 
 "muCalculus" -> "&mu;-calculus programs.", 
 "MinorConjecture" -> "Itai's conjecture on the Thue-Morse sequence.", 
 "Juv" -> "Proof of the $J_{uv}$ property.", 
 "tJ" -> "Proof of the $tJ$ property.", 
 "JuvConcise" -> "Concise proof of the $J_{uv}$ property.", 
 "Elephant" -> "An elephant from <a \
href=\"http://www.blendswap.com/blends/view/18009\">http://www.blendswap.com/\
blends/view/18009</a>.", "muCalculus-MathematicaV8" -> 
  "&mu;-calculus programs for matica version 8.", 
 "SolvingWKO-OnSphere" -> "Solving the WKO equations using free-Lie \
&mu;-calculus technology, running on sphere.", 
 "SolvingWKO" -> 
  "Solving the WKO equations using free-Lie &mu;-calculus technology.", 
 "FreeLie" -> "A free-Lie calculator with lazy evaluation for series; <a \
href=\"../2013-04/index.html\">pensieve://2013-04/</a> version, continues <a \
href=\"../2013-03/index.html\">pensieve://2013-03/</a>, continued <a \
href=\"../2013-05/index.html\">pensieve://2013-05/</a>.", 
 "CheatSheetJ-Verification" -> "Cheat Sheet $J$ Verification; continues <a \
href=\"../2013-03/;\">pensieve://2013-03/;</a> continued <a \
href=\"../2013-12/index.html\">pensieve://2013-12/</a>.", 
 "Boy" -> "The Boy surface in the Bryant-Kusner parametrization, following <a \
href=\"http://en.wikipedia.org/wiki/Boy%27s_surface\">http://en.wikipedia.org\
/wiki/Boy%27s_surface</a>. Continues <a \
href=\"../2008-05/index.html\">pensieve://2008-05/</a>."}
