--- /dev/null
+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