diff --git a/.gitmodules b/.gitmodules
deleted file mode 100644
index 41342f5abe278f3cc8c1a36f0504984c5f9e3b94..0000000000000000000000000000000000000000
--- a/.gitmodules
+++ /dev/null
@@ -1,3 +0,0 @@
-[submodule "autosubst"]
-	path = autosubst
-	url = https://github.com/tebbi/autosubst.git
diff --git a/_CoqProject b/_CoqProject
index 799dd63084571ea5bd46def5c08053611bc1dce0..2495807aaf749e8dda63ab0a197f6ab833bed2e6 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -1,2 +1 @@
 -Q . ""
--R autosubst/theories Autosubst
diff --git a/autosubst b/autosubst
deleted file mode 160000
index 07c669460cd84e6e0b2084e870b19f947b699ded..0000000000000000000000000000000000000000
--- a/autosubst
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 07c669460cd84e6e0b2084e870b19f947b699ded