1.1 --- a/test/Tools/isac/Minisubpbl/470-Check_elementwise-NEXT_STEP.sml	Mon Jul 19 15:34:54 2021 +0200
     1.2 +++ b/test/Tools/isac/Minisubpbl/470-Check_elementwise-NEXT_STEP.sml	Mon Jul 19 17:29:35 2021 +0200
     1.3 @@ -71,7 +71,7 @@
     1.4      (*if*) 1 < length path (*then*);
     1.5  
     1.6             scan_up pcc (ist |> path_up) (go_up path sc);
     1.7 -"~~~~~ and scan_up , args:"; val (pcc, ist, (Const ("Tactical.Chain"(*2*), _) $ _ $ _))
     1.8 +"~~~~~ and scan_up , args:"; val (pcc, ist, (Const (\<^const_name>\<open>Chain\<close>(*2*), _) $ _ $ _))
     1.9    = (pcc, (ist |> path_up), (go_up path sc));
    1.10  
    1.11             go_scan_up pcc ist;
    1.12 @@ -80,11 +80,11 @@
    1.13      (*if*) 1 < length path (*then*);
    1.14  
    1.15             scan_up pcc (ist |> path_up) (go_up path sc);
    1.16 -"~~~~~ and scan_up , args:"; val ((pcc as (_, cc)), ist, (Const ("Tactical.Repeat"(*2*), _) $ e))
    1.17 +"~~~~~ and scan_up , args:"; val ((pcc as (_, cc)), ist, (Const (\<^const_name>\<open>Repeat\<close>(*2*), _) $ e))
    1.18  = (pcc, (ist |> path_up), (go_up path sc));
    1.19  
    1.20    (*case*) scan_dn cc (ist |> path_down [R]) e (*of*);
    1.21 -"~~~~~ fun scan_dn , args:"; val (pcc, ist, (Const ("Tactical.Chain"(*2*), _) $ _ $ _)) 
    1.22 +"~~~~~ fun scan_dn , args:"; val (pcc, ist, (Const (\<^const_name>\<open>Chain\<close>(*2*), _) $ _ $ _)) 
    1.23    = (cc, (ist |> path_down [R]), e);
    1.24  (*============== stopped, when all worked ===================*)
    1.25