1#!/usr/bin/env bash 2# 3# Author: Florian Haftmann, TU Muenchen 4# 5# DESCRIPTION: regenerate ~~/src/HOL/Tools/Qelim/cooper_procedure.ML from ~~/src/HOL/Decision_Proc/Cooper.thy 6 7session=HOL-Decision_Procs 8src='HOL-Decision_Procs.Cooper:code/cooper_procedure.ML' 9dst='~~/src/HOL/Tools/Qelim/' 10 11"${ISABELLE_TOOL}" build "${session}" 12"${ISABELLE_TOOL}" export -x "${src}" -p 2 -O "${dst}" "${session}" 13