all: objects theories

objects:
	coqc -R csc_zfc csc_zfc csc_zfc/*.v
	echo "Load Verbose provacsczfc." | ~/V7/bin/coqtop.byte -R csc_zfc csc_zfc

theories:
	./exporttheories.sh

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