let change = PrimitiveTactics.change_tac
let compare = DiscriminationTactics.compare_tac
let constructor = IntroductionTactics.constructor_tac
let change = PrimitiveTactics.change_tac
let compare = DiscriminationTactics.compare_tac
let constructor = IntroductionTactics.constructor_tac