Isabelle. Contents Prepare user work dir. Prepare user work dir. $ cd ~/isabelle $ isatool mkdir HOL my-proof-dir