title: How to specify a non-document theory file in ROOT?
body: <p>I import <code>Nominal2</code> into my main theory file and in Isabelle/jEdit I can use <code>atom_decl</code> so it works. In ROOT I tried various attempts to specify <code>Nominal2</code>, like</p>
  
  <pre><code>session "techreport" = "HOL" + 
     options [document = pdf, document_output = "output"] 
     theories [document = false] 
       Nominal2 
     theories 
       IsarIntroduction 
     files "document/root.tex" 
  </code></pre>
  
  <p>but I get <code>bad input</code> or <code>No such file: "Nominal2.thy"</code>. I tried to specify a relative path from the dir of <code>IsarIntroduction</code>, and also from the dir of <code>root.tex</code>, in vain. </p>
  
  <p>How can I specify the path for the <code>Nominal2</code> theory?</p>
  
  <p>update: I use a purposely built Nominal2 image for Isabelle/JEdit</p>