src/HOL/TLA/Memory/ROOT.ML
changeset 3823 071c87125cea
child 6255 db63752140c7
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/HOL/TLA/Memory/ROOT.ML	Thu Oct 09 17:20:15 1997 +0200
     1.3 @@ -0,0 +1,2 @@
     1.4 +
     1.5 +use_thy "Memory";