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

diff --git a/library/goptions.ml b/library/goptions.ml
index 0973944fb5..6e53bed349 100644
--- a/library/goptions.ml
+++ b/library/goptions.ml
@@ -52,12 +52,12 @@ type 'a table_of_A =  {
 module MakeTable =
   functor
    (A : sig
-	  type t
+          type t
           type key
           module Set : CSig.SetS with type elt = t
           val table : (string * key table_of_A) list ref
           val encode : Environ.env -> key -> t
-	  val subst : substitution -> t -> t
+          val subst : substitution -> t -> t
           val printer : t -> Pp.t
           val key : option_name
           val title : string
@@ -83,30 +83,30 @@ module MakeTable =
           | GOadd -> t := MySet.add p !t
           | GOrmv -> t := MySet.remove p !t in
         let load_options i o = if Int.equal i 1 then cache_options o in
-	let subst_options (subst,(f,p as obj)) = 
-	  let p' = A.subst subst p in
-	    if p' == p then obj else
-	      (f,p')
-	in
+        let subst_options (subst,(f,p as obj)) =
+          let p' = A.subst subst p in
+            if p' == p then obj else
+              (f,p')
+        in
         let inGo : option_mark * A.t -> obj =
           Libobject.declare_object {(Libobject.default_object nick) with
                 Libobject.load_function = load_options;
-		Libobject.open_function = load_options;
-		Libobject.cache_function = cache_options;
-		Libobject.subst_function = subst_options;
-		Libobject.classify_function = (fun x -> Substitute x)}
-	in
+                Libobject.open_function = load_options;
+                Libobject.cache_function = cache_options;
+                Libobject.subst_function = subst_options;
+                Libobject.classify_function = (fun x -> Substitute x)}
+        in
         ((fun c -> Lib.add_anonymous_leaf (inGo (GOadd, c))),
          (fun c -> Lib.add_anonymous_leaf (inGo (GOrmv, c))))
 
     let print_table table_name printer table =
       Feedback.msg_notice
         (str table_name ++
-	   (hov 0
-	      (if MySet.is_empty table then str " None" ++ fnl ()
+           (hov 0
+              (if MySet.is_empty table then str " None" ++ fnl ()
                else MySet.fold
-		 (fun a b -> spc () ++ printer a ++ b)
-		 table (mt ()) ++ str "." ++ fnl ())))
+                 (fun a b -> spc () ++ printer a ++ b)
+                 table (mt ()) ++ str "." ++ fnl ())))
 
     let table_of_A = {
        add = (fun env x -> add_option (A.encode env x));