all: objects theories

objects:
	coqc -R Rem Nijmegen.Rem Rem/*.v
	echo "Load Verbose prova_Nijmegen_Rem." | coqtop.byte -R Rem Nijmegen.Rem

theories:
	./exporttheories.sh

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