diff -r c19d2fc2cc69 -r d71424eb5d0c IsaMakefile
--- a/IsaMakefile	Mon Jan 31 12:54:31 2011 +0000
+++ b/IsaMakefile	Mon Jan 31 14:51:47 2011 +0000
@@ -32,7 +32,7 @@
 session2: tphols-2011/ROOT.ML \
          tphols-2011/document/root* \
          *.thy
-	@$(USEDIR) -D generated -f ROOT.ML HOL tphols-2011 
+	@$(USEDIR) -D generated -f ROOT.ML ListP tphols-2011 
 
 paper: session2 
 	rm -f tphols-2011/generated/*.aux # otherwise latex will fall over