[isabelle-dev] finite_intvl_succ

[Amine Chaieb]

This is a nice generalization for intervals, but on main candidate was 
missing for instantiation : natural number!

Amine.