--- a/src/HOL/IsaMakefile Wed Oct 06 18:15:22 1999 +0200
+++ b/src/HOL/IsaMakefile Wed Oct 06 18:50:40 1999 +0200
@@ -371,7 +371,8 @@
Isar_examples/ExprCompiler.thy Isar_examples/Group.thy \
Isar_examples/KnasterTarski.thy Isar_examples/MultisetOrder.thy \
Isar_examples/MutilatedCheckerboard.thy Isar_examples/Peirce.thy \
- Isar_examples/Summation.thy Isar_examples/ROOT.ML
+ Isar_examples/Summation.thy Isar_examples/ROOT.ML \
+ Isar_examples/W_correct.thy
@$(ISATOOL) usedir $(OUT)/HOL Isar_examples