diff --git a/.gitignore b/.gitignore
index efda7f1cc8693dd1e721a84ac3020d45c89ad904..26d51a74ce787255328dac01fc7eeb5446e06787 100644
--- a/.gitignore
+++ b/.gitignore
@@ -14,6 +14,9 @@ derivation*.dot
 
 # leon
 last.log
+*.last
+*.table
+*.log
 
 #eclipse
 .cache