- update coq example
- minor changes in user manual