Ignore compiled Coq files
Removed general theorems about sets