diff -r 487954805988 -r bdc420a363d8 src/Tools/isac/BaseDefinitions/Know_Store.thy
--- a/src/Tools/isac/BaseDefinitions/Know_Store.thy	Thu May 07 11:04:02 2020 +0200
+++ b/src/Tools/isac/BaseDefinitions/Know_Store.thy	Thu May 07 11:42:19 2020 +0200
@@ -32,7 +32,7 @@
 ML_file "store.sml"
 ML_file "check-unique.sml"
 ML_file "specification.sml"
-ML_file "celem-4.sml"  (*pat*)
+ML_file "model-pattern.sml"
 ML_file "problem-def.sml"
 ML_file "method-def.sml"
 ML_file "cas-def.sml"