@herbelin
herbelin Adapting to Coq 8.8. 
Open Local Scope -> Local Open Scope
Coercion Local -> Local Coercion
Latest commit 6c20ebe Oct 21, 2018