*_adt.pvs
*_basic.prf
*_basic.pvs
*bin
*~
ccsl_prelude.*
.pvscontext
orphaned-proofs.prf
