From e865f6970b0812c49d6afe74573b542a0e0f5c53 Mon Sep 17 00:00:00 2001
From: Simon Spies <simonspies@icloud.com>
Date: Fri, 9 Sep 2022 15:02:57 +0200
Subject: [PATCH] remove old options file in algebra

---
 theories/algebra/base.v | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 theories/algebra/base.v

diff --git a/theories/algebra/base.v b/theories/algebra/base.v
deleted file mode 100644
index 603e9c20..00000000
--- a/theories/algebra/base.v
+++ /dev/null
@@ -1,6 +0,0 @@
-From Coq.ssr Require Export ssreflect.
-From stdpp Require Export prelude.
-Set Default Proof Using "Type".
-Global Open Scope general_if_scope.
-Global Set SsrOldRewriteGoalsOrder. (* See Coq issue #5706 *)
-Ltac done := stdpp.tactics.done.
-- 
GitLab