Isabelle

split isar_step into isar_step, fix, assms; made isar_proof explicit; register fixed variables in ctxt and auto_fix terms to avoid superfluous annotations

#!/usr/bin/env bash
#
# Author: Makarius
#
# Default Isabelle application wrapper.

exec "$(dirname "$0")"/bin/isabelle jedit -s "$@"