merged, resolving conflicts in src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML due to clones bb2ea9e80c33 + 62c039ce397c;
#!/usr/bin/env bash
#
# Author: Florian Haftmann, TU Muenchen
#
# DESCRIPTION: regenerate ~~/src/HOL/Tools/Qelim/cooper_procedure.ML from ~~/src/HOL/Decision_Proc/Cooper.thy
session=HOL-Decision_Procs
src='HOL-Decision_Procs.Cooper:code/cooper_procedure.ML'
dst='~~/src/HOL/Tools/Qelim/'
"${ISABELLE_TOOL}" build "${session}"
"${ISABELLE_TOOL}" export -x "${src}" -p 2 -O "${dst}" "${session}"