<!--
     Copyright 2022, The University of Melbourne (ABN 84 002 705 224)

     SPDX-License-Identifier: CC-BY-SA-4.0
-->

The files in the *proof release* provided in `time-protection-model/` and
`time-protection-model.zip` in the VM's home directory are licensed under a
number of standard open source and creative commons licenses, including the
2-clause or 3-clause BSD license, CC-BY-SA version 4 (for some documentation),
and GPL version 2. For more details, see `time-protection-model/LICENSE.md`.

The *Isabelle2020 system distribution* provided in `Isabelle2020/` and
`Isabelle2020_linux.tar.gz` in the VM's home directory is licensed under the
"ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER" which can be found in
`Isabelle2020/COPYRIGHT`.