From 7bad0ad59d34abb3299390be1877521d469ad37e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jan=20van=20Br=C3=BCgge?= <supermanitu@gmail.com>
Date: Thu, 21 Nov 2024 13:42:13 +0000
Subject: [PATCH] Add note about original artifact version

---
 README.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 8f360a8..d5f8110 100644
--- a/README.md
+++ b/README.md
@@ -1,8 +1,10 @@
-This is the artifact accompanying the paper:
+This is an updated version of the artifact accompanying the paper:
 
 Barendregt Convenes with Knaster and Tarski:
 Strong Rule Induction for Syntax with Bindings
 
+The orignally reviewed version can be found [here](https://github.com/jvanbruegge/binder_datatypes/tree/POPL25_v1.2).
+
 ### How To Run?
 
 The artifact contains the tool support for defining binding datatypes and proving strong rule