For an insight into Coq De Leon you can do no better than this post by Hans Weilenmann - Coq De Leon Info