1.1 --- a/src/Tools/isac/MathEngine/step.sml	Sun Oct 09 09:01:29 2022 +0200
     1.2 +++ b/src/Tools/isac/MathEngine/step.sml	Wed Oct 19 10:43:04 2022 +0200
     1.3 @@ -16,6 +16,7 @@
     1.4  
     1.5    val inconsistent: Subst.input option * ThmC.T -> term -> Istate_Def.T * Proof.context ->
     1.6      Pos.pos' -> Ctree.ctree -> Calc.T
     1.7 +
     1.8  \<^isac_test>\<open>
     1.9    val specify_do_next: Calc.T -> string * Calc.state_post
    1.10    val switch_specify_solve: Pos.pos_ -> Calc.T -> string * Calc.state_post