diff --git a/install-afp b/install-afp
index 735cd7e..57da18c 100755
--- a/install-afp
+++ b/install-afp
@@ -129,6 +129,12 @@ do
     shift
 done
 
+if [ -z ${ISABELLE_TOOL+x} ];
+then
+    print_help
+    exit 1
+fi
+
 ACTUAL_ISABELLE_VERSION=`$ISABELLE_TOOL version`
 
 ISABELLE_VERSION="Isabelle$($ISABELLE_TOOL options -g dof_isabelle)"