1.1 --- a/src/Tools/isac/BaseDefinitions/rule-set.sml	Sun Apr 19 11:07:02 2020 +0200
     1.2 +++ b/src/Tools/isac/BaseDefinitions/rule-set.sml	Sun Apr 19 12:22:37 2020 +0200
     1.3 @@ -2,7 +2,7 @@
     1.4     Author: Walther Neuper
     1.5     (c) due to copyright terms
     1.6  
     1.7 -In ISAC a Rule_Set serves rewriting. KEStore holds all rule-sets for ubiquitous access.
     1.8 +In ISAC a Rule_Set serves rewriting. Know_Store holds all rule-sets for ubiquitous access.
     1.9  *)
    1.10  signature RULE_SET =
    1.11  sig