change of order of compilation

CoqHott · Dec 11, 2024 · e8e2191 · e8e2191
1 parent ea77fea
commit e8e2191
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/_CoqProject b/_CoqProject
@@ -29,10 +29,12 @@ theories/LogicalRelation/Escape.v
 theories/LogicalRelation/ShapeView.v
 theories/LogicalRelation/Reflexivity.v
 theories/LogicalRelation/Irrelevance.v
+theories/LogicalRelation/Split.v
+theories/LogicalRelation/Transitivity.v
 theories/LogicalRelation/Weakening.v
+theories/LogicalRelation/Monotonicity.v
 theories/LogicalRelation/Universe.v
 theories/LogicalRelation/Neutral.v
-theories/LogicalRelation/Transitivity.v
 theories/LogicalRelation/Reduction.v
 theories/LogicalRelation/NormalRed.v
 theories/LogicalRelation/Application.v