*** empty log message ***
authorwenzelm
Thu Oct 09 17:20:15 1997 +0200 (1997-10-09)
changeset 3823071c87125cea
parent 3822 a17f9b8dca93
child 3824 9fdde15e3215
*** empty log message ***
src/HOL/TLA/Buffer/ROOT.ML
src/HOL/TLA/Inc/ROOT.ML
src/HOL/TLA/Memory/ROOT.ML
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/HOL/TLA/Buffer/ROOT.ML	Thu Oct 09 17:20:15 1997 +0200
     1.3 @@ -0,0 +1,2 @@
     1.4 +
     1.5 +use_thy "DBuffer";
     2.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.2 +++ b/src/HOL/TLA/Inc/ROOT.ML	Thu Oct 09 17:20:15 1997 +0200
     2.3 @@ -0,0 +1,2 @@
     2.4 +
     2.5 +use_thy "Inc";
     3.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     3.2 +++ b/src/HOL/TLA/Memory/ROOT.ML	Thu Oct 09 17:20:15 1997 +0200
     3.3 @@ -0,0 +1,2 @@
     3.4 +
     3.5 +use_thy "Memory";