src/HOL/IsaMakefile

--- a/src/HOL/IsaMakefile	Fri Jan 22 16:59:21 2010 +0100
+++ b/src/HOL/IsaMakefile	Mon Jan 25 16:19:42 2010 +0100
@@ -1420,6 +1420,16 @@
 	@cd Boogie; $(ISABELLE_TOOL) usedir $(OUT)/HOL-Boogie Examples
 
 
+## HOL-Mutabelle
+
+HOL-Mutabelle: HOL $(LOG)/HOL-Mutabelle.gz
+
+$(LOG)/HOL-Mutabelle.gz: $(OUT)/HOL Mutabelle/MutabelleExtra.thy	\
+  Mutabelle/ROOT.ML Mutabelle/mutabelle.ML			\
+  Mutabelle/mutabelle_extra.ML
+	@$(ISABELLE_TOOL) usedir $(OUT)/HOL Mutabelle
+
+
 ## clean
 
 clean: