diff --git a/.gitmodules b/.gitmodules
new file mode 100644
index 0000000..ba02942
--- /dev/null
+++ b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "RDLProofSystem"]
+	path = RDLProofSystem
+	url = http://nitta-lab-www.is.konan-u.ac.jp/gitbucket/git/nitta-lab/RDLProofSystem.git
diff --git a/RDLProofSystem b/RDLProofSystem
new file mode 160000
index 0000000..2631cf8
--- /dev/null
+++ b/RDLProofSystem
@@ -0,0 +1 @@
+Subproject commit 2631cf8bec7c77b7ff641c2157a513cc7ce5da2f