working on well-directioning

CoqHott · Oct 23, 2023 · 3646676 · 3646676
1 parent a2a5ba8
commit 3646676
Show file tree

Hide file tree

Showing 4 changed files with 337 additions and 221 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -22,11 +22,12 @@ theories/DeclarativeTyping.v
 theories/DeclarativeInstance.v
 
 theories/DirectedDirections.v
-theories/DirectedErasure.v
+# theories/DirectedErasure.v
 theories/DirectedContext.v
-theories/DirectedDeclarativeTyping.v
-theories/DirectedSemantics.v
-theories/DirectedPartialTranslation.v
+theories/DirectedDirectioning.v
+# theories/DirectedDeclarativeTyping.v
+# theories/DirectedSemantics.v
+# theories/DirectedPartialTranslation.v
 
 
 theories/LogicalRelation.v