the CtCoq Interface, available by ftp at babar.inria.fr:/pub/centaur/ctcoq (0)

by Y Bertot