From f20d91f75d39eda19d8e8e2f8c0476b11aeab7d2 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Thu, 23 Jul 2020 13:00:04 +0200
Subject: minor

---
 .gitignore | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index fb8160e..de525c3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,5 @@
 *~
+*.bak
 \#*.thy#
 \#*.ML#
-Test.thy
 
-- 
cgit v1.2.3