[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, 6 insertions, 6 deletions

diff --git a/library/coqlib.ml b/library/coqlib.ml
index 11d053624c..00ea8b8489 100644
--- a/library/coqlib.ml
+++ b/library/coqlib.ml
@@ -89,15 +89,15 @@ let gen_reference_in_modules locstr dirs s =
   match these with
     | [x] -> x
     | [] ->
-	anomaly ~label:locstr (str "cannot find " ++ str s ++
-	str " in module" ++ str (if List.length dirs > 1 then "s " else " ") ++
+        anomaly ~label:locstr (str "cannot find " ++ str s ++
+        str " in module" ++ str (if List.length dirs > 1 then "s " else " ") ++
         prlist_with_sep pr_comma DirPath.print dirs ++ str ".")
     | l ->
       anomaly ~label:locstr
-	(str "ambiguous name " ++ str s ++ str " can represent " ++
-	   prlist_with_sep pr_comma
-	   (fun x -> Libnames.pr_path (Nametab.path_of_global x)) l ++
-	   str " in module" ++ str (if List.length dirs > 1 then "s " else " ") ++
+        (str "ambiguous name " ++ str s ++ str " can represent " ++
+           prlist_with_sep pr_comma
+           (fun x -> Libnames.pr_path (Nametab.path_of_global x)) l ++
+           str " in module" ++ str (if List.length dirs > 1 then "s " else " ") ++
            prlist_with_sep pr_comma DirPath.print dirs ++ str ".")
 
 (* For tactics/commands requiring vernacular libraries *)