*.ui
*.uo
*Theory.*
.HOLMK
.hollogs
