From dc46dbb9a01329c39673fedc195006745c365030 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 2 Jun 2023 17:23:29 +0200
Subject: Update the HOL4 proofs for the last *release* version of HOL4

---
 .gitignore | 4 ++++
 1 file changed, 4 insertions(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 11ac64b9..2d668039 100644
--- a/.gitignore
+++ b/.gitignore
@@ -61,6 +61,10 @@ tests/fstar/misc/obj/
 .HOLMK
 .hollogs
 .holobjs
+*.dat
+*.ui
+*.uo
+*Theory.sml
 
 # Misc
 /fstar-tests
-- 
cgit v1.2.3