From 868cfc53a3fb04dca56c30353a8658b940145e99 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Fri, 22 Jun 2018 16:51:47 +0100 Subject: [PATCH] Added reference to the isabelle-hacks repository. --- Assert.thy | 1 + Hiding_Type_Variables.thy | 1 + 2 files changed, 2 insertions(+) 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) ***********************************************************************************)