session Posix in src = "HOL-Library" + 
theories[document = false]
     "HOL-Library.Sublist"
     "RegLangs"
     "PosixSpec"
     "Lexer"
     "LexerSimp"
     "Blexer"
     "BlexerSimp"
     "BasicIdentities"
     "ClosedForms"
     "GeneralRegexBound"
     "ClosedFormsBounds"
     "FBound"


session Paper = Posix +
  options [document_variants="paper",
           document = pdf,
           document_output = ".",
	   document_comment_latex,
	   document_build = "pdflatex",
	   document_heading_prefix = ""]
theories
    Paper
document_files
  "root.tex"
  "lipics-v2021.cls"
  "cc-by.pdf"
  "lipics-logo-bw.pdf"
  "root.bib"


(*
theories
    Paper
document_files
  "root.tex"
  "llncs.cls"
  "lipics-v2021.cls"
  "cc-by.pdf"
  "lipics-logo-bw.pdf"
  "root.bib"
*)