aboutsummaryrefslogtreecommitdiff
path: root/LICENSE
diff options
context:
space:
mode:
authorJosh Chen2021-01-31 02:54:51 +0000
committerJosh Chen2021-01-31 02:54:51 +0000
commit2feb56660700af107abb5a28a7120052ac405518 (patch)
treea18015cfa47928fb288037a78fe5b1d3bed87a92 /LICENSE
parentaff3d43d9865e7b8d082f0c239d2c73eee1fb291 (diff)
rename things + some small changes
Diffstat (limited to 'LICENSE')
-rw-r--r--LICENSE14
1 files changed, 7 insertions, 7 deletions
diff --git a/LICENSE b/LICENSE
index b8b61ab..2ff901d 100644
--- a/LICENSE
+++ b/LICENSE
@@ -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