[ Home | About | Licence | About author | Contact ]

Written by Oleksandr Gavenko (AKA gavenkoa), compiled at 2015-10-05 from rev 764bb173578d.

Isabelle.

Prepare user work dir.

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