all: 	
	pdflatex HOL-interaction.tex
	pdflatex HOL-interaction.tex

clean:
	rm -f *.log *.aux HOL-interaction.pdf