# HG changeset patch
# User bulwahn
# Date 1267564412 -3600
# Node ID 1f980bbc6ad88c551c8ef30949f53847eaa6dfdd
# Parent  99b3fce7e475fcc94f2604962cd803c7f3b0ee92
adding HOL-Mutabelle to tests

diff -r 99b3fce7e475 -r 1f980bbc6ad8 src/HOL/IsaMakefile
--- 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 \