aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--LICENSE4
1 files changed, 2 insertions, 2 deletions
diff --git a/LICENSE b/LICENSE
index a5b1cc4..ce2218d 100644
--- a/LICENSE
+++ b/LICENSE
@@ -4,8 +4,8 @@ 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/lib/focus.ML
- spartan/lib/goals.ML
+ spartan/core/focus.ML
+ spartan/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