session Demo_FoilTeX (doc) = HOL +
options [document_variants = "demo_foiltex",
document_build = "pdflatex", document_logo = "FoilTeX"]
theories
Document
document_files (in "$ISABELLE_FOILTEX_HOME")
"fltfonts.def"
"foil20.clo"
"foils.cls"
document_files
"root.tex"