[coq] Untabify the whole ML codebase.

We also remove trailing whitespace.

Script used:

```bash
for i in `find . -name '*.ml' -or -name '*.mli' -or -name '*.mlg'`; do expand -i "$i" | sponge "$i"; sed -e's/[[:space:]]*$//' -i.bak "$i"; done
```

1 files changed, 1 insertions, 1 deletions

diff --git a/interp/notation_ops.mli b/interp/notation_ops.mli
index 7919d0061f..f9de6b7d6b 100644
--- a/interp/notation_ops.mli
+++ b/interp/notation_ops.mli
@@ -20,7 +20,7 @@ val eq_notation_constr : Id.t list * Id.t list -> notation_constr -> notation_co
 
 val subst_interpretation :
   Mod_subst.substitution -> interpretation -> interpretation
-                                                
+
 (** Name of the special identifier used to encode recursive notations  *)
 
 val ldots_var : Id.t