src/HOL/TLA/Memory/ROOT.ML
changeset 17309 c43ed29bd197
parent 9000 c20d58286a51
child 33615 261abc2e3155
equal deleted inserted replaced
17308:5d9bbc0d9bd3 17309:c43ed29bd197
       
     1 
       
     2 (* $Id$ *)
     1 
     3 
     2 time_use_thy "MemoryImplementation";
     4 time_use_thy "MemoryImplementation";