[ About | Licence | Contacts ]
Written by Oleksandr Gavenko (AKA gavenkoa), compiled on 2017-10-13 from rev 5ee52f8d25b5.

Isabelle.

Prepare user work dir.

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