diff --git a/isabelle/Dockerfile b/isabelle/Dockerfile
index b4bbddf..957801c 100644
--- a/isabelle/Dockerfile
+++ b/isabelle/Dockerfile
@@ -54,3 +54,4 @@ RUN curl -L -o "Isabelle.tar.gz" "$isabelle" && \
   perl -pi -e 's,ISABELLE_HOME_USER=.*,ISABELLE_HOME_USER="\$USER_HOME/.isabelle",g;' Isabelle/etc/settings && \
   Isabelle/bin/isabelle build -s -b $sessions
 
+ENV PATH="Isabelle/bin:${PATH}"