diff options
| author | Josh Chen | 2021-01-31 02:54:51 +0000 |
|---|---|---|
| committer | Josh Chen | 2021-01-31 02:54:51 +0000 |
| commit | 2feb56660700af107abb5a28a7120052ac405518 (patch) | |
| tree | a18015cfa47928fb288037a78fe5b1d3bed87a92 /LICENSE | |
| parent | aff3d43d9865e7b8d082f0c239d2c73eee1fb291 (diff) | |
rename things + some small changes
Diffstat (limited to 'LICENSE')
| -rw-r--r-- | LICENSE | 14 |
1 files changed, 7 insertions, 7 deletions
@@ -1,15 +1,15 @@ Isabelle/HoTT -Copyright (c) 2018–2020 Joshua Chen +Copyright (c) 2018–2021 Joshua Chen All files are licensed under the terms of the GNU Lesser General Public License v3.0 reproduced below, WITH THE EXCEPTION OF the following files: - spartan/core/context_tactical.ML - spartan/core/elaborated_statement.ML - spartan/core/eqsubst.ML - spartan/core/focus.ML - spartan/core/goals.ML - spartan/core/rewrite.ML + mltt/core/comp.ML + mltt/core/context_tactical.ML + mltt/core/elaborated_statement.ML + mltt/core/eqsubst.ML + mltt/core/focus.ML + mltt/core/goals.ML These have been modified from source code which is part of the official Isabelle distribution (https://isabelle.in.tum.de/) and licensed under the |