CtCoq: A System Presentation. - Janet Bertot; Yves Bertot (AMAST, 1996)