let gui_provers = [ AltErgo ; Coq ; 
                    Why "z3" ; Why "simplify" ; 
                    Why "cvc3" ; Why "yices" ; 
                    Why "zenon" ]