*.bin
*_adt.pvs
*~
.pvscontext
Result_adt.pvs
file-hierarchy.dot
orphaned-proofs.prf
pvsbin
theory-hierarchy.dot
proof-*.tex
