1.1 --- a/src/Tools/isac/BaseDefinitions/Know_Store.thy	Thu May 07 11:04:02 2020 +0200
     1.2 +++ b/src/Tools/isac/BaseDefinitions/Know_Store.thy	Thu May 07 11:42:19 2020 +0200
     1.3 @@ -32,7 +32,7 @@
     1.4  ML_file "store.sml"
     1.5  ML_file "check-unique.sml"
     1.6  ML_file "specification.sml"
     1.7 -ML_file "celem-4.sml"  (*pat*)
     1.8 +ML_file "model-pattern.sml"
     1.9  ML_file "problem-def.sml"
    1.10  ML_file "method-def.sml"
    1.11  ML_file "cas-def.sml"