--- a/lib/scripts/getfunctions Thu Feb 25 18:05:04 2016 +0100
+++ b/lib/scripts/getfunctions Thu Feb 25 18:08:23 2016 +0100
@@ -28,25 +28,6 @@
export -f tar
fi
-#main executables
-function isabelle ()
-{
- "$ISABELLE_TOOL" "$@"
-}
-export -f isabelle
-
-function isabelle_process ()
-{
- "$ISABELLE_PROCESS" "$@"
-}
-export -f isabelle_process
-
-function isabelle_scala_script ()
-{
- "$ISABELLE_SCALA_SCRIPT" "$@"
-}
-export -f isabelle_scala_script
-
#shared library convenience
function librarypath ()
{