diff -r f1e9db633212 -r 3efa0ec42ed4 src/HOL/Mutabelle/lib/Tools/mutabelle
--- a/src/HOL/Mutabelle/lib/Tools/mutabelle	Mon Dec 06 16:37:15 2010 +0100
+++ b/src/HOL/Mutabelle/lib/Tools/mutabelle	Mon Dec 06 17:33:25 2010 +0100
@@ -29,13 +29,13 @@
 do
   case "$OPT" in
     L)
-      MIRABELLE_LOGIC="$OPTARG"
+      MUTABELLE_LOGIC="$OPTARG"
       ;;
     T)
-      MIRABELLE_IMPORT_THEORY="$OPTARG"
+      MUTABELLE_IMPORT_THEORY="$OPTARG"
       ;;
     O)
-      MIRABELLE_OUTPUT_PATH="$OPTARG"
+      MUTABELLE_OUTPUT_PATH="$OPTARG"
       ;;
     \?)
       usage