all: objects theories

objects:
	coqc -R HIGMAN Rocq.HIGMAN HIGMAN/*.v
	echo "Load Verbose prova_Rocq_HIGMAN." | coqtop.byte -R HIGMAN Rocq.HIGMAN

theories:
	./exporttheories.sh

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