author | wenzelm |
Sun, 28 Apr 2019 22:22:29 +0200 | |
changeset 70207 | 511352b4d5d3 |
parent 70092 | a19dd7006a3c |
permissions | -rwxr-xr-x |
#!/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}"