improve induction on int
In the induction hypothesis generated by 'induction n a', the second sub-goal should contain hypothesis 'a < n' instead of 'a <= n'
In the induction hypothesis generated by 'induction n a', the second sub-goal should contain hypothesis 'a < n' instead of 'a <= n'