all: objects theories

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

theories:
	./exporttheories.sh

clean:
	rm -f *.vo Ramsey/*.vo