--- a/IsaMakefile	Thu Feb 03 09:54:19 2011 +0000
+++ b/IsaMakefile	Thu Feb 03 12:00:06 2011 +0000
@@ -51,8 +51,6 @@
 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
 	cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex
 	cp Paper/generated/root.pdf paper.pdf