reorganize directory structure

plclub · Jun 19, 2017 · 9a3e373 · 9a3e373
1 parent c6961fb
commit 9a3e373
Show file tree

Hide file tree

Showing 29 changed files with 45 additions and 2,797 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,7 +1,8 @@
-/*.v.d
-/*.vo
-/*.glob
-/.*.aux
-/*.v.d
+*.v.d
+*.vo
+*.glob
+.*.aux
+*.v.d
+*.bak
 CoqSrc.mk
 _CoqProject
diff --git a/AssumeList.v → Attic/AssumeList.v b/AssumeList.v → Attic/AssumeList.v
diff --git a/MetatheoryAlt.v → Attic/MetatheoryAlt.v b/MetatheoryAlt.v → Attic/MetatheoryAlt.v
diff --git a/TODO.txt → Attic/TODO.txt b/TODO.txt → Attic/TODO.txt