renamed lambda_calculi_jul14 to lambda-calculi-jul14