aboutsummaryrefslogtreecommitdiff
path: root/LICENSE
diff options
context:
space:
mode:
authorJosh Chen2020-08-14 11:11:34 +0200
committerJosh Chen2020-08-14 11:11:34 +0200
commit7a53528cdd91511d3c4e461b3af75ee88afee981 (patch)
treeaad28e12d6fe22dd2a8fbf16ad67fcfbeec2321a /LICENSE
parentbd2efacaf67ae84c41377e7af38dacc5aa64f405 (diff)
update license file list
Diffstat (limited to '')
-rw-r--r--LICENSE4
1 files changed, 4 insertions, 0 deletions
diff --git a/LICENSE b/LICENSE
index ce2218d..b8b61ab 100644
--- a/LICENSE
+++ b/LICENSE
@@ -4,8 +4,12 @@ Copyright (c) 2018–2020 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
These have been modified from source code which is part of the official
Isabelle distribution (https://isabelle.in.tum.de/) and licensed under the