1.1 --- a/src/Tools/isac/BaseDefinitions/rule-set.sml	Fri Apr 10 18:32:36 2020 +0200
     1.2 +++ b/src/Tools/isac/BaseDefinitions/rule-set.sml	Mon Apr 13 13:13:07 2020 +0200
     1.3 @@ -22,12 +22,12 @@
     1.4    val equal: (''a * ('b * 'c)) * (''a * ('d * 'e)) -> bool
     1.5    val to_kestore: for_kestore list * for_kestore list -> for_kestore list
     1.6  
     1.7 -(*/------- this will disappear eventually -----------\*)
     1.8 +(*/------- this will disappear eventually ----------------------------------------------------\*)
     1.9    val empty: T
    1.10    type rrlsstate = term * term * Rule_Def.rule list list * (Rule_Def.rule * (term * term list)) list
    1.11    val e_rrlsstate: rrlsstate
    1.12    val e_rrls: T
    1.13 -(*\------- this will disappear eventually -----------/*)
    1.14 +(*\------- this will disappear eventually ----------------------------------------------------/*)
    1.15  
    1.16  (* ---- for tests only: shifted from below to remove the Warning "unused" at fun.def. --------- *)
    1.17    (*NONE*)