src/HOL/TLA/Memory/ROOT.ML
author wenzelm
Mon Feb 08 13:02:56 1999 +0100 (1999-02-08)
changeset 6255 db63752140c7
parent 3823 071c87125cea
child 9000 c20d58286a51
permissions -rw-r--r--
updated (Stephan Merz);
     1 
     2 use_thy "MemoryImplementation";