updated coqdoc documentation