- coqc -R prove prove prove/*.v
- echo "Load Verbose provaStruct." | ~/V7/bin/coqtop.byte -R prove prove
- echo "Load Verbose provaFeIota." | ~/V7/bin/coqtop.byte -R prove prove
- echo "Load Verbose provaCofix." | ~/V7/bin/coqtop.byte -R prove prove
- echo "Load Verbose prova." | ~/V7/bin/coqtop.byte -R prove prove
+ coqc -R prove Bologna.prove prove/*.v
+ echo "Load Verbose provaStruct." | coqtop.byte -R prove Bologna.prove
+ echo "Load Verbose provaFeIota." | coqtop.byte -R prove Bologna.prove
+ echo "Load Verbose provaCofix." | coqtop.byte -R prove Bologna.prove
+ echo "Load Verbose prova." | coqtop.byte -R prove Bologna.prove