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