--- a/src/HOL/IsaMakefile Tue Mar 02 17:36:40 2010 +0000
+++ b/src/HOL/IsaMakefile Tue Mar 02 22:13:32 2010 +0100
@@ -47,6 +47,7 @@
HOL-MicroJava \
HOL-Mirabelle \
HOL-Modelcheck \
+ HOL-Mutabelle \
HOL-NanoJava \
HOL-Nitpick_Examples \
HOL-Nominal-Examples \