2.6.0

CHANGES:

Added

• Add tactic set.
• Decimal notation for integers.

Fixed

• Why3 tactic.
• Induction tactic.

Changed

• Improved Core.Term.eq_modulo (Claudio Sacerdoti) -> speed up factor between 2 and 9
• The export option --requiring does not require as argument a file with extension .v anymore: the argument must be a module name.
• Option '--erasing' renamed into '--mapping'.
• Builtins necessary for the decimal notation.