src/CCL/IsaMakefile
changeset 6213 f5bdd6497e08
parent 4518 74c01296e818
child 13300 debf9ef73e4e
--- a/src/CCL/IsaMakefile	Wed Feb 03 17:30:17 1999 +0100
+++ b/src/CCL/IsaMakefile	Wed Feb 03 17:32:10 1999 +0100
@@ -31,7 +31,7 @@
   Term.thy Trancl.ML Trancl.thy Type.ML Type.thy Wfd.ML Wfd.thy \
   coinduction.ML equalities.ML eval.ML genrec.ML mono.ML subset.ML \
   typecheck.ML
-	@$(ISATOOL) usedir -b $(OUT)/FOL CCL
+	@$(ISATOOL) usedir -b -r $(OUT)/FOL CCL
 
 
 ## CCL-ex