From 3044f3af09217edcd30fff10e460d22a6c488db0 Mon Sep 17 00:00:00 2001
From: Heiko Becker <hbecker@mpi-sws.org>
Date: Fri, 5 Mar 2021 16:03:24 +0100
Subject: [PATCH] Fast-forward hol4

---
 hol4/.HOLCOMMIT | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hol4/.HOLCOMMIT b/hol4/.HOLCOMMIT
index 0777dc3a..ad338165 100644
--- a/hol4/.HOLCOMMIT
+++ b/hol4/.HOLCOMMIT
@@ -1 +1 @@
-52ffdc8f01c5cf044427bf6f3a12e8300e91765a
+5e024a1e811a454ec9e0271d80b4b1f3146d63b8
-- 
GitLab