# -*- shell-script -*- :mode=shellscript: ISABELLE_SMT_REMOTE="$ISABELLE_HOME/src/HOL/Tools/SMT/lib/scripts/remote_smt" ISABELLE_SMT_REMOTE_URL="http://smt.in.tum.de/smt"