*.vo
*.glob
*.v.d
*.aux
.coqdeps.d
records.tex
records.thy
recordsScript.sml
records_auto.v
stlc.tex
stlc.thy
stlcScript.sml
stlc_auto.v
