1.1 --- a/src/Tools/isac/MathEngBasic/tactic.sml	Wed Apr 01 14:14:46 2020 +0200
     1.2 +++ b/src/Tools/isac/MathEngBasic/tactic.sml	Wed Apr 01 18:54:03 2020 +0200
     1.3 @@ -26,7 +26,7 @@
     1.4    | Check_elementwise' of term * Rule.cterm' * Selem.result
     1.5    | Del_Find' of Rule.cterm' | Del_Given' of Rule.cterm' | Del_Relation' of Rule.cterm'
     1.6  
     1.7 -  | Derive' of Rule.rls
     1.8 +  | Derive' of Rule.rls      
     1.9    | Detail_Set' of Rule.theory' * bool * Rule.rls * term * Selem.result
    1.10    | Detail_Set_Inst' of Rule.theory' * bool * Rule.subst * Rule.rls * term * Selem.result
    1.11    | End_Detail' of Selem.result