chapter etc. headings; use, use_thy, cd: name;
chapter etc. headings;
use, use_thy, cd: name;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle