Decision support tools for Isabelle TABIN-DARBELLEY