From 991fd5d0e99177495c0c6d9f5848bfacbcca65ff Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Mon, 17 Jun 2019 10:32:51 +0100
Subject: [PATCH] Added URL of master git repository.

---
 README.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/README.md b/README.md
index 8aaf03f..cc894e6 100644
--- a/README.md
+++ b/README.md
@@ -156,3 +156,9 @@ SPDX-License-Identifier: BSD-2-Clause
   with the Informal]({https://www.brucker.ch/bibliography/download/2018/brucker.ea-isabelle-ontologies-2018.pdf). 
   In Conference on Intelligent Computer Mathematics (CICM). Lecture 
   Notes in Computer Science (11006), Springer-Verlag, 2018.
+
+## Master Repository
+
+The master git repository for this project is hosted 
+<https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF>.
+