induction tactic: cleaning up (an old version of tactic (induction_ty) is removed). Induction on integers will be fixed soon (actually does not work)
induction tactic: cleaning up (an old version of tactic (induction_ty) is removed). Induction on integers will be fixed soon (actually does not work)

ssaavedra/why3,jpdeplaix/why3,douglas-larocca/why3,ssaavedra/why3,jpdeplaix/why3,jpdeplaix/why3,ssaavedra/why3,douglas-larocca/why3,douglas-larocca/why3