1.1 --- a/src/Tools/isac/BaseDefinitions/Know_Store.thy	Wed Feb 03 15:21:12 2021 +0100
     1.2 +++ b/src/Tools/isac/BaseDefinitions/Know_Store.thy	Wed Feb 03 16:39:44 2021 +0100
     1.3 @@ -1,7 +1,7 @@
     1.4  (*  Title:      src/Tools/isac/Know_Store.thy
     1.5      Author:     Mathias Lehnfeld
     1.6  
     1.7 -Calc work on Problem employing Method; both are collected in a respective Store;
     1.8 +Calc work on Problem employing MethodC; both are collected in a respective Store;
     1.9  The collections' structure is independent from the dependency graph of Isabelle's theories
    1.10  in Knowledge.
    1.11  Store is also used by Thy_Write, required for Isac's Java front end, irrelevant for PIDE.