From fb3dbaa4ca93e6ddcba116b42167f4b7ab15a40f Mon Sep 17 00:00:00 2001
From: Heiko Becker <hbecker@mpi-sws.org>
Date: Tue, 19 Jan 2021 15:56:19 +0100
Subject: [PATCH] Fast-forward HOL4 version

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

diff --git a/hol4/.HOLCOMMIT b/hol4/.HOLCOMMIT
index 18d1776c..faf9210f 100644
--- a/hol4/.HOLCOMMIT
+++ b/hol4/.HOLCOMMIT
@@ -1 +1 @@
-95c3c2105fb6b31455787c38410706d9c76f5bea
+89e07c5a43c0637bc614b4396e6a8b3cb902cedb
-- 
GitLab