# HG changeset patch
# User haftmann
# Date 1160469374 -7200
# Node ID 1de0d565b4838be1311f2e2c00970c4b534492eb
# Parent  34b2c1bb7178dc6c54b648860cc1bae9cb79915a
fixed intendation

diff -r 34b2c1bb7178 -r 1de0d565b483 src/Provers/hypsubst.ML
--- 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;