From 795b3c0ef09c517419d7479ffcef3604324466d4 Mon Sep 17 00:00:00 2001
From: Yiyun Liu <yliu8e5f7@protonmail.com>
Date: Thu, 10 Jul 2025 18:40:56 -0400
Subject: [PATCH] Change coqproject name

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

diff --git a/_CoqProject b/_CoqProject
index 24173e2..9d85e9e 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -1,2 +1,2 @@
--R theories ImpredIrrel
+-R theories DecSyn
 theories