diff -r c64241fa4dff -r f5db9e08effc IsaMakefile
--- a/IsaMakefile	Fri Jan 07 14:25:23 2011 +0000
+++ b/IsaMakefile	Mon Jan 24 11:29:55 2011 +0000
@@ -19,7 +19,7 @@
 session1: Slides/ROOT.ML \
          Slides/document/root* \
          Slides/Slides.thy
-	@$(USEDIR) -D generated -f ROOT.ML HOL Slides
+	@$(USEDIR) -D generated -f ROOT.ML ListP tphols-2011 
 
 slides: session1 
 	rm -f Slides/generated/*.aux # otherwise latex will fall over
@@ -29,19 +29,19 @@
 
 ## Paper
 
-session2: Paper/ROOT.ML \
-         Paper/document/root* \
-         Paper/Paper.thy
-	@$(USEDIR) -D generated -f ROOT.ML HOL Paper
+session2: tphols-2011/ROOT.ML \
+         tphols-2011/document/root* \
+         ../*.thy
+	@$(USEDIR) -D generated -f ROOT.ML ListP tphols-2011 
 
 paper: session2 
-	rm -f Paper/generated/*.aux # otherwise latex will fall over
-	cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex 
-	cp Paper/generated/root.pdf Paper/paper.pdf     
+	rm -f tphols-2011/generated/*.aux # otherwise latex will fall over
+	cd tphols-2011/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex 
+	cp tphols-2011/generated/root.pdf tphols-2011/myhill.pdf     
 
 
 ## clean
 
 clean:
 	rm -rf Slides/generated/*
-	rm -rf Paper/generated/*
+	rm -rf tphols-2011/generated/*