all: objects theories

objects:
	echo "Load Verbose provacoq." | ~/V7/bin/coqtop.byte

theories:
	./exporttheories.sh