diff -r f5db9e08effc -r b6815473ee2e IsaMakefile
--- a/IsaMakefile	Mon Jan 24 11:29:55 2011 +0000
+++ b/IsaMakefile	Tue Jan 25 12:14:31 2011 +0000
@@ -31,7 +31,7 @@
 
 session2: tphols-2011/ROOT.ML \
          tphols-2011/document/root* \
-         ../*.thy
+         *.thy
 	@$(USEDIR) -D generated -f ROOT.ML ListP tphols-2011 
 
 paper: session2