diff -r 46af82efd311 -r 9bd26bda96ef src/FOL/IsaMakefile
--- a/src/FOL/IsaMakefile	Fri Nov 18 07:13:58 2005 +0100
+++ b/src/FOL/IsaMakefile	Sat Nov 19 14:21:00 2005 +0100
@@ -37,7 +37,7 @@
   IFOL.thy IFOL_lemmas.ML ROOT.ML blastdata.ML cladata.ML		\
   document/root.tex eqrule_FOL_data.ML fologic.ML hypsubstdata.ML	\
   intprover.ML simpdata.ML
-	@$(ISATOOL) usedir -b $(OUT)/Pure FOL
+	@$(ISATOOL) usedir -p 2 -b $(OUT)/Pure FOL
 
 
 ## FOL-ex