1.1 --- a/src/Tools/isac/MathEngBasic/tactic.sml	Tue Jun 21 13:51:04 2022 +0200
     1.2 +++ b/src/Tools/isac/MathEngBasic/tactic.sml	Tue Jun 21 16:04:43 2022 +0200
     1.3 @@ -81,7 +81,7 @@
     1.4    val is_rewtac : input -> bool
     1.5    val is_rewset : input -> bool
     1.6    val rls_of : input -> Rule_Set.id
     1.7 -  val rule2tac : theory -> (term * term) list ->  Rule.rule -> input
     1.8 +  val rule2tac : theory -> Env.T ->  Rule.rule -> input
     1.9    val applicable : theory -> string -> Rule_Set.T -> term -> input ->input list
    1.10    val for_specify: input -> bool
    1.11