objects:
coqc -R Ramsey Utrecht.Ramsey Ramsey/*.v
- echo "Load Verbose prova_Utrecht_Ramsey." | ~/V7/bin/coqtop.byte -R Ramsey Utrecht.Ramsey
+ echo "Load Verbose prova_Utrecht_Ramsey." | coqtop.byte -R Ramsey Utrecht.Ramsey
theories:
./exporttheories.sh