1.1 --- a/src/Tools/isac/BaseDefinitions/Know_Store.thy	Wed Jan 11 06:06:12 2023 +0100
     1.2 +++ b/src/Tools/isac/BaseDefinitions/Know_Store.thy	Wed Jan 11 09:23:18 2023 +0100
     1.3 @@ -86,7 +86,8 @@
     1.4    val get_ref_last_thy: unit -> theory
     1.5    val set_ref_last_thy: theory -> unit
     1.6    val get_via_last_thy: ThyC.id -> theory (*only used for * (Sub-)problem retrieving respective thy
     1.7 -                                                          * problem refinement                    *)
     1.8 +                                                          * problem refinement                    
     1.9 +                                                          * (test-)code to be deleted            *)
    1.10  end;
    1.11  
    1.12  structure Know_Store(**): KNOW_STORE(**) =