diff --git a/HOL.gitignore b/HOL.gitignore
new file mode 100644
index 00000000..da703dc2
--- /dev/null
+++ b/HOL.gitignore
@@ -0,0 +1,11 @@
+*Script
+
+# Holmake generated files
+*Theory.sig
+*Theory.sml
+*.uo
+*.ui
+
+# Holmake auxiliary files
+.hollogs
+.HOLMK