1 session "Lex" = HOL +

     2   theories [document = false, quick_and_dirty]

     3 	"ReStar" 

     4 

     5 session Paper in "Paper" = Lex +

     6   options [document = pdf, document_output = "..", document_variants="paper"]

     7   theories 

     8     "~~/src/HOL/Library/LaTeXsugar"

     9     "Paper"

    10   document_files

    11     "root.bib"

    12     "root.tex" 

    13