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