Remove floor.v

coq-community · Jul 11, 2024 · 05e8b85 · 05e8b85
1 parent 58de26b
commit 05e8b85
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 84 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -42,7 +42,6 @@ theories/z3irrational.v
 theories/z3seq_props.v
 theories/rho_computations.v
 theories/multinomial.v
-theories/floor.v
 theories/hanson_elem_arith.v
 theories/hanson_elem_analysis.v
 theories/hanson.v
diff --git a/theories/floor.v b/theories/floor.v