src/HOL/TLA/Memory/ROOT.ML

--- a/src/HOL/TLA/Memory/ROOT.ML	Mon Feb 08 13:02:42 1999 +0100
+++ b/src/HOL/TLA/Memory/ROOT.ML	Mon Feb 08 13:02:56 1999 +0100
@@ -1,2 +1,2 @@
 
-use_thy "Memory";
+use_thy "MemoryImplementation";