{"betaStudyOnV8.0" -> "Programs for &beta;-calculus, development notebook.", 
 "betaStudy" -> "Programs for &beta;-calculus, development notebook.", 
 "betaDemo" -> "Programs for &beta;-calculus.", 
 "betaStudy-2" -> "Programs for &beta;-calculus, development notebook."}
