diff --git a/DocGen4/Hierarchy.lean b/DocGen4/Hierarchy.lean
index d023e85..034a290 100644
--- a/DocGen4/Hierarchy.lean
+++ b/DocGen4/Hierarchy.lean
@@ -1,3 +1,8 @@
+/-
+Copyright (c) 2021 Henrik Böving. All rights reserved.
+Released under Apache 2.0 license as described in the file LICENSE.
+Authors: Henrik Böving
+-/
 import Lean
 import Std.Data.HashMap
 
diff --git a/DocGen4/IncludeStr.lean b/DocGen4/IncludeStr.lean
index 335365a..6946ab5 100644
--- a/DocGen4/IncludeStr.lean
+++ b/DocGen4/IncludeStr.lean
@@ -1,3 +1,8 @@
+/-
+Copyright (c) 2021 Henrik Böving. All rights reserved.
+Released under Apache 2.0 license as described in the file LICENSE.
+Authors: Henrik Böving
+-/
 import Lean
 
 namespace DocGen4