diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..10f0849
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,9 @@
+CHERI_Gen_Lemmas.thy
+CHERI_Cap_Properties.thy
+CHERI_Mem_Properties.thy
+CHERI_Fetch_Properties.thy
+CHERI_Invariant.thy
+*.thy~
+*.smt2
+z3_problems
+output