all: objects theories objects: coqc -R Ramsey Utrecht.Ramsey Ramsey/*.v echo "Load Verbose prova_Utrecht_Ramsey." | coqtop.byte -R Ramsey Utrecht.Ramsey theories: ./exporttheories.sh clean: rm -f *.vo Ramsey/*.vo