added "TPTP" theory with IsabelleP tactic, so that it is maintained alongside with Isabelle and that the CASC version of Isabelle is provided by Isabelle itself instead of being stored on the TPTP servers
# -*- shell-script -*- :mode=shellscript:
#
# determine general hardware and operating system type for Isabelle
#
# NOTE: The ML system or JVM may have their own idea about the platform!
ISABELLE_PLATFORM="unknown-platform"
ISABELLE_PLATFORM64=""
case $(uname -s) in
Linux)
case $(uname -m) in
i?86)
ISABELLE_PLATFORM=x86-linux
;;
x86_64)
ISABELLE_PLATFORM=x86-linux
ISABELLE_PLATFORM64=x86_64-linux
;;
esac
;;
Darwin)
case $(uname -m) in
i?86)
ISABELLE_PLATFORM=x86-darwin
if [ "$(sysctl -n hw.optional.x86_64 2>/dev/null)" = 1 ]; then
ISABELLE_PLATFORM64=x86_64-darwin
fi
;;
x86_64)
ISABELLE_PLATFORM=x86-darwin
ISABELLE_PLATFORM64=x86_64-darwin
;;
Power* | power* | ppc)
ISABELLE_PLATFORM=ppc-darwin
;;
esac
;;
CYGWIN_NT*)
case $(uname -m) in
i?86 | x86_64)
ISABELLE_PLATFORM=x86-cygwin
;;
esac
;;
SunOS)
case $(uname -r) in
5.*)
case $(uname -p) in
sparc)
ISABELLE_PLATFORM=sparc-solaris
;;
i?86 | x86_64)
ISABELLE_PLATFORM=x86-solaris
;;
esac
;;
esac
;;
FreeBSD|NetBSD)
case $(uname -m) in
i?86 | x86_64)
ISABELLE_PLATFORM=x86-bsd
;;
esac
;;
esac