fixed intendation

--- a/src/Provers/hypsubst.ML	Tue Oct 10 10:35:24 2006 +0200
+++ b/src/Provers/hypsubst.ML	Tue Oct 10 10:36:14 2006 +0200
@@ -57,7 +57,7 @@
   val eq_var                 : bool -> bool -> term -> int * bool
   val inspect_pair           : bool -> bool -> term * term * typ -> bool
   val mk_eqs                 : bool -> thm -> thm list
-  val stac		     : thm -> int -> tactic
+  val stac                   : thm -> int -> tactic
   val hypsubst_setup         : theory -> theory
   end;