use Code.abort instead of undefined in auto-generated equations
# -*- shell-script -*- :mode=shellscript:## Isabelle user settings sample -- for use in $ISABELLE_HOME_USER/etc/settingsISABELLE_BUILD_OPTIONS="browser_info document=pdf"ISABELLE_LOGIC=HOL