From 2feb56660700af107abb5a28a7120052ac405518 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Sun, 31 Jan 2021 02:54:51 +0000
Subject: rename things + some small changes

---
 LICENSE | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'LICENSE')

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
-- 
cgit v1.2.3