src/HOL/Probability/ROOT.ML

renamed former Int.int_induct to Int.int_of_nat_induct, former Presburger.int_induct to Int.int_induct: is more conservative and more natural than the intermediate solution

use_thys ["Probability"];