prefer rewrite_term_yoyo for improved performance and occasionally better results (conforming to Ast.normalize);
chapter Doc (*Isabelle documentation*)
session Demo_Easychair (doc) = HOL +
options [document_variants = "demo_easychair"] (*Isabelle documentation*)
theories
Document
document_files (in "$ISABELLE_EASYCHAIR_HOME")
"easychair.cls"
document_files
"root.bib"
"root.tex"