From 4a9ca27b03c914ca058f9a79a75aeaf3b0c28080 Mon Sep 17 00:00:00 2001
From: Zongyuan Liu <zy.liu@cs.au.dk>
Date: Mon, 13 Nov 2023 09:38:10 +0100
Subject: [PATCH] Update LICENSE

---
 LICENSE | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/LICENSE b/LICENSE
index 81cd6a9..8403439 100644
--- a/LICENSE
+++ b/LICENSE
@@ -1,6 +1,15 @@
 BSD 2-Clause License
 
-Copyright (c) 2023, Logic and Semantics @ Aarhus University
+This applies to all files in this archive except folder
+"system-semantics".
+
+Copyright (c) 2023,
+   Zongyuan Liu
+   Angus Hammond
+   Jean Pichon-Pharabod
+   Thibaut Pérami
+
+All rights reserved.
 
 Redistribution and use in source and binary forms, with or without
 modification, are permitted provided that the following conditions are met: