From c397b16f42955f645e501463bd9ef2f89f530cde Mon Sep 17 00:00:00 2001
From: Japheth Lim <Japheth.Lim@data61.csiro.au>
Date: Mon, 20 May 2019 00:15:31 +1000
Subject: [PATCH] lib: license header for RangeMap

---
 lib/RangeMap.thy      |  2 +-
 lib/RangeMap_Test.thy | 12 ++++++++++++
 2 files changed, 13 insertions(+), 1 deletion(-)

diff --git a/lib/RangeMap.thy b/lib/RangeMap.thy
index 332176fb9..982782545 100644
--- a/lib/RangeMap.thy
+++ b/lib/RangeMap.thy
@@ -1,5 +1,5 @@
 (*
- * Copyright 2018, Data61
+ * Copyright 2019, Data61
  * Commonwealth Scientific and Industrial Research Organisation (CSIRO)
  * ABN 41 687 119 230.
  *
diff --git a/lib/RangeMap_Test.thy b/lib/RangeMap_Test.thy
index 16d8b3c0b..cabea38aa 100644
--- a/lib/RangeMap_Test.thy
+++ b/lib/RangeMap_Test.thy
@@ -1,3 +1,15 @@
+(*
+ * Copyright 2019, Data61
+ * Commonwealth Scientific and Industrial Research Organisation (CSIRO)
+ * ABN 41 687 119 230.
+ *
+ * This software may be distributed and modified according to the terms of
+ * the BSD 2-Clause license. Note that NO WARRANTY is provided.
+ * See "LICENSE_BSD2.txt" for details.
+ *
+ * @TAG(DATA61_BSD)
+ *)
+
 theory RangeMap_Test
 imports
   Lib.RangeMap