updating debugging names for rules
updating debugging names for rules
Merge branch 'Mtac1-v8.4' of github.com:beta-ziliani/coq into Mtac1-v8.4