From 6f8210fe1636c309afbcb6780090c91a45805456 Mon Sep 17 00:00:00 2001
From: Lorenz Leutgeb <lorenzleutgeb@users.noreply.github.com>
Date: Thu, 13 Sep 2018 16:57:53 +1000
Subject: [PATCH] Create HOL.gitignore

---
 HOL.gitignore | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 HOL.gitignore

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