added files
solved basic_induction
double_plus done
solved beq_nat_refl