1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/src/Tools/isac/Interpret/solve-step.sml Wed Apr 29 12:30:51 2020 +0200
1.3 @@ -0,0 +1,23 @@
1.4 +(* Title: Specify/solve-step.sml
1.5 + Author: Walther Neuper
1.6 + (c) due to copyright terms
1.7 +
1.8 +Code for the solve-phase in analogy to structure Specify_Step for the specify-phase.
1.9 +*)
1.10 +
1.11 +signature SOLVE_STEP =
1.12 +sig
1.13 + val check_appl: Pos.pos' -> CTbasic.ctree -> Tactic.input -> Applicable.T
1.14 +end
1.15 +
1.16 +(**)
1.17 +structure Solve_Step(** ): SOLVE_STEP( **) =
1.18 +struct
1.19 +(**)
1.20 +
1.21 +(*-----^^^^^- specify -----vvvvv- solve --------------------------------------------------------*)
1.22 +(*-----^^^^^- solve ---------------------------------------------------------------------------*)
1.23 +
1.24 +
1.25 +
1.26 +(**)end(**);