1(*
2 * Copyright 2020, The University of Melbourne (ABN 84 002 705 224)
3 *
4 * SPDX-License-Identifier: BSD-2-Clause
5 *)
6
7chapter Lib
8
9session EVTutorial = Lib +
10  options [document = pdf]
11  theories
12    EquivValidTutorial
13  document_files
14    "root.bib"
15    "root.tex"
16