1.1 --- a/test/Tools/isac/ADDTESTS/accumulate-val/lucas_interpreter.sml	Sun Apr 19 11:07:02 2020 +0200
     1.2 +++ b/test/Tools/isac/ADDTESTS/accumulate-val/lucas_interpreter.sml	Sun Apr 19 12:22:37 2020 +0200
     1.3 @@ -1,4 +1,4 @@
     1.4 -(* KEStore holds Knowledge and Exercises in Isac's Java front-end.
     1.5 +(* Know_Store holds Knowledge and Exercises in Isac's Java front-end.
     1.6    In the front-end knowledge comprises theories, problems and methods.
     1.7    Elements of problems and methods are defined in theories alongside
     1.8    the development of respective language elements.