src/HOL/Mutabelle/lib/Tools/mutabelle

 
 while getopts "L:T:O:t:q?" OPT
 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
       ;;
   esac