Isabelle

remove the within-filter, replace "at" by "at _ within UNIV" (This allows to remove a couple of redundant lemmas)

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

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