I use Isabelle, and I have a theory that is processed for long interactively so I wanted to build a heap image. Therefore I created a ROOT file:
$ cat ROOT
session MYTHEORY = HOL +
description "The definition of my theory"
theories [document = false]
MyTheory
upon which I built an image:
$ isabelle build -c -D .
Cleaned MYTHEORY
Running MYTHEORY ...
Finished MYTHEORY (0:00:01 elapsed time)
0:00:03 elapsed time
and then I tried to use that heap image, but then I got an error message:
$ isabelle jedit -l MYTHEORY
16:51:07 [AWT-EventQueue-0] [error] ErrorListDialog$ErrorEntry: *** Undefined session(s): "MYTHEORY"
What did I wrong, what did I not understand?