diff -r c1d9a4ac9f8e -r 828ea293b61f IsaMakefile
--- a/IsaMakefile	Fri Feb 04 13:33:18 2011 +0000
+++ b/IsaMakefile	Fri Feb 04 22:54:29 2011 +0000
@@ -51,6 +51,7 @@
 itp: session3
 	rm -f Paper/generated/*.aux # otherwise latex will fall over      
 	cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex 
+	cd Paper/generated ; bibtex root
 	cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex
 	cp Paper/generated/root.pdf paper.pdf