all: objects theories

objects:
	echo "Load Verbose provacoq." | coqtop.byte

theories:
	./exporttheories.sh