include _abort as an expression - #10

include _abort as an expression#10

nikolaushuber merged 1 commit into

mainpure-py/isabelle-python-codegen:mainfrom

abort-in-exprpure-py/isabelle-python-codegen:abort-in-exprCopy head branch name to clipboard