1.1 --- a/test/Tools/isac/ADDTESTS/file-depend/Build_Test.thy	Sat Feb 26 11:34:08 2011 +0100
     1.2 +++ b/test/Tools/isac/ADDTESTS/file-depend/Build_Test.thy	Sat Feb 26 12:37:58 2011 +0100
     1.3 @@ -4,12 +4,15 @@
     1.4  
     1.5  *)
     1.6  
     1.7 -theory Build_Test imports Complex_Main begin
     1.8 +theory Build_Test 
     1.9 +imports 
    1.10 +  Complex_Main 
    1.11 +  "1language/Foo_Language"
    1.12 +  "3knowledge/Foo_KnowALL"
    1.13 +begin
    1.14  
    1.15  use     "0foolibrary.ML"
    1.16  use_thy "1language/Foo_Language"
    1.17 -ML {* @{theory} *}
    1.18 -ML {* @{theory Foo_Language} *}
    1.19  use     "2interpreter/2foointerpreter.ML"
    1.20  
    1.21  (*vvvvvvv can be bypassed with Foo_KnowALL