From d02944ff5704c332f9f5303095dfd2ec7bd421a6 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Wed, 22 Jan 2020 18:30:28 +0000
Subject: Move into src directory

---
 src/CoqUp/CoqUp.v | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 src/CoqUp/CoqUp.v

(limited to 'src/CoqUp/CoqUp.v')

diff --git a/src/CoqUp/CoqUp.v b/src/CoqUp/CoqUp.v
new file mode 100644
index 0000000..02d71ee
--- /dev/null
+++ b/src/CoqUp/CoqUp.v
@@ -0,0 +1,4 @@
+Set Implicit Arguments.
+
+Require Import Bool List String.
+
-- 
cgit