diff --git a/Assert.thy b/Assert.thy
index ab080b0..da810d1 100644
--- a/Assert.thy
+++ b/Assert.thy
@@ -24,6 +24,7 @@
  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  *
  * SPDX-License-Identifier: BSD-2-Clause
+ * Repository:   https://git.logicalhacking.com/adbrucker/isabelle-hacks/
  * Dependencies: None
  ***********************************************************************************)
 
diff --git a/Hiding_Type_Variables.thy b/Hiding_Type_Variables.thy
index c6e9bc9..0be1e17 100644
--- a/Hiding_Type_Variables.thy
+++ b/Hiding_Type_Variables.thy
@@ -24,6 +24,7 @@
  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  *
  * SPDX-License-Identifier: BSD-2-Clause
+ * Repository:   https://git.logicalhacking.com/adbrucker/isabelle-hacks/
  * Dependencies: None (assert.thy is used for testing the theory but it is 
  *                     not required for providing the functionality of this hack)
  ***********************************************************************************)