src/HOL/Mirabelle/lib/Tools/mirabelle

   echo "    -L LOGIC     parent logic to use (default $MIRABELLE_LOGIC)"
   echo "    -T THEORY    parent theory to use (default $MIRABELLE_THEORY)"
   echo "    -O DIR       output directory for test data (default $out)"
   echo "    -t TIMEOUT   timeout for each action in seconds (default $timeout)"
   echo "    -q           be quiet (suppress output of Isabelle process)"
+  echo "    -S FILE      user-provided setup file (no actions required)"
   echo
   echo "  Apply the given actions (i.e., automated proof tools)"
   echo "  at all proof steps in the given theory files."
   echo
   echo "  ACTIONS is a colon-separated list of actions, where each action is"

 
 # options
 
 [ $# -eq 0 ] && usage
 
-while getopts "L:T:O:t:q?" OPT
+MIRABELLE_SETUP_FILE=
+
+while getopts "L:T:O:t:S:q?" OPT
 do
   case "$OPT" in
     L)
       MIRABELLE_LOGIC="$OPTARG"
       ;;

       MIRABELLE_OUTPUT_PATH="$OPTARG"
       ;;
     t)
       MIRABELLE_TIMEOUT="$OPTARG"
       ;;
+    S)
+      MIRABELLE_SETUP_FILE="$OPTARG"
+      ;;
     q)
       MIRABELLE_QUIET="true"
       ;;
     \?)
       usage
       ;;
   esac
 done
 
+export MIRABELLE_SETUP_FILE
 export MIRABELLE_QUIET
 
 shift $(($OPTIND - 1))
 
 export MIRABELLE_ACTIONS="$1"