Add file to util.all

util/all.v

@@ -12,3 +12,4 @@ Require Export rt.util.step_function.
 Require Export rt.util.epsilon.
 Require Export rt.util.search_arg.
 Require Export rt.util.rel.
+Require Export rt.util.rewrite_facilities.

util/rewrite_facilities.v

@@ -88,7 +88,7 @@ Section RewriteFacilities.
       { apply/eqP; rewrite eq_sym eqbF_neg.
           by apply/eqP; intros EQ; subst b; apply H_npb. }
         by rewrite Bool.andb_false_l.
-    Admitted.
+    Abort.
      *)
     
     (*