The examples in the directory scholarly_paper
are examples of typical conference papers (usually, in computer science).
The examples in the directory technical_report
are examples of typical technical reports. This includes also the
Isabelle/DOF User and Implementation Manual.