From 9c7d2e97400892436d8826cf8005b69c321b8acb Mon Sep 17 00:00:00 2001
From: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
Date: Fri, 15 Nov 2019 16:54:41 +0100
Subject: [PATCH] add project

---
 _CoqProject | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 _CoqProject

diff --git a/_CoqProject b/_CoqProject
new file mode 100644
index 0000000..26fdf09
--- /dev/null
+++ b/_CoqProject
@@ -0,0 +1 @@
+-R . StructPoly