move Induction.v into main folder. (yes, small.) is this the right one?