src/Pure/tactic.ML
changeset 1955 5309416236b6
parent 1951 f2b8005bdc6e
child 1966 9e626f86e335
     1.1 --- a/src/Pure/tactic.ML	Thu Sep 05 18:28:54 1996 +0200
     1.2 +++ b/src/Pure/tactic.ML	Thu Sep 05 18:29:43 1996 +0200
     1.3 @@ -77,6 +77,7 @@
     1.4    val subgoal_tac: string -> int -> tactic
     1.5    val subgoals_tac: string list -> int -> tactic
     1.6    val subgoals_of_brl: bool * thm -> int
     1.7 +  val thin_tac: string -> int -> tactic
     1.8    val trace_goalno_tac: (int -> tactic) -> int -> tactic
     1.9    end;
    1.10