list of locked problems updated
fix
Merge branch 'speedup/tcomp' of github.com:gares/coq into speedup/tcomp