--- a/src/HOL/IsaMakefile Thu Apr 14 11:24:05 2011 +0200
+++ b/src/HOL/IsaMakefile Thu Apr 14 11:24:05 2011 +0200
@@ -695,7 +695,7 @@
$(LOG)/HOL-Metis_Examples.gz: $(OUT)/HOL Metis_Examples/ROOT.ML \
Metis_Examples/Abstraction.thy Metis_Examples/BigO.thy \
- Metis_Examples/BT.thy Metis_Examples/Clausifier.thy \
+ Metis_Examples/BT.thy Metis_Examples/Clausify.thy \
Metis_Examples/HO_Reas.thy Metis_Examples/Message.thy \
Metis_Examples/Tarski.thy Metis_Examples/TransClosure.thy \
Metis_Examples/set.thy