# HG changeset patch
# User wenzelm
# Date 939228640 -7200
# Node ID 43f8d28dbc6e3e6654f1b5a160b42ba87abdf0d0
# Parent  44dd5dc8e90fb5b8d3d202ac4862791892649668
Isar_examples/W_correct;

diff -r 44dd5dc8e90f -r 43f8d28dbc6e src/HOL/IsaMakefile
--- 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