4 coqc -R prove prove prove/*.v
5 echo "Load Verbose provaStruct." | ~/V7/bin/coqtop.byte -R prove prove
6 echo "Load Verbose provaFeIota." | ~/V7/bin/coqtop.byte -R prove prove
7 echo "Load Verbose provaCofix." | ~/V7/bin/coqtop.byte -R prove prove
8 echo "Load Verbose prova." | ~/V7/bin/coqtop.byte -R prove prove