add ring_char_0 class constraints to several simprocs (internal proofs of #n ~= 0 fail for type
s not in this class);
test simprocs using most general type classes instead of just int and rat.
#!/usr/bin/env bash
#
# Author: Makarius
#
# Default Isabelle application wrapper.
exec "$(dirname "$0")"/bin/isabelle jedit "$@"