session ITLv3 = HOL + 
  options [document = pdf, document_output = "output", timeout = 800]
  sessions
   "HOL-TLA"
   "Coinductive"
 theories
   LList_Extras
   NELList
   NELList_Extras
   Extended_Int
   Semantics
   ITL
   Theorems
   SChopTheorems
   Chopstar
   Omega
   Projection
   Until
   Pi
   FOTheorems
   TimeReversal
   First
   Monitor
   MonitorExample
   ITA
   PITL_Deep
   PITL_Deep_GNF
   QPITL_Deep
   QPITL_Deep_GNF
   CDT_PITL_Deep
   NL_ITL_Deep
  document_files
    "root.tex"
    "root.bib"
    
