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