1 files changed, 9 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index 7c36889b..e0f4d082 100644
--- a/.gitignore
+++ b/.gitignore
@@ -21,3 +21,12 @@ language/*.aux
 language/*.log
 language/*.dvi
 language/*.ps
+# HOL4
+.HOLMK
+*Script.sml
+*Theory.dat
+*Theory.sig
+*Theory.sml
+*Theory.ui
+*Theory.uo
+lib/hol/sail-heap