[ About | Licence | Contacts ]
Written by Oleksandr Gavenko (AKA gavenkoa), compiled on 2024-04-01 from rev 052223c22317.

Isabelle.

Prepare user work dir.

$ cd ~/isabelle
$ isatool mkdir HOL my-proof-dir