src/Provers/hypsubst.ML
changeset 20945 1de0d565b483
parent 20074 b4d0b545df01
child 20974 2a29a21825d1
--- 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;