(* Title:  Specify/solve-step.sml

    Author: Walther Neuper

    (c) due to copyright terms

 Code for the solve-phase in analogy to structure Specify_Step for the specify-phase.

 *)

 signature SOLVE_STEP =

 sig

   val check_appl: Pos.pos' -> CTbasic.ctree -> Tactic.input -> Applicable.T

 end

 (**)

 structure Solve_Step(** ): SOLVE_STEP( **) =

 struct

 (**)

 (*-----^^^^^- specify -----vvvvv- solve --------------------------------------------------------*)

 (*-----^^^^^- solve ---------------------------------------------------------------------------*)

 (**)end(**);