DbLib.

michaelsproul · Nov 24, 2015 · 0b2632a · 0b2632a
1 parent 9c928d9
commit 0b2632a
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "DbLib"]
+	path = DbLib
+	url = git@github.com:michaelsproul/dblib.git
diff --git a/DbLib b/DbLib
diff --git a/Exp.v b/Exp.v
@@ -0,0 +1,3 @@
+Require Import DbLib.DeBruijn.
+Require Import DbLib.Environments.
+Require Import DbLib.DblibTactics.