Isabelle

reverted some changes for set->predicate transition, according to "hg log -u berghofe -r Isabelle2007:Isabelle2008";
tuned proofs;

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

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