src/FOL/IsaMakefile
changeset 18203 9bd26bda96ef
parent 17821 daffb154f73e
child 18482 ac8456b4080c
--- 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