1.1 --- a/src/Tools/isac/ProgLang/Language.thy	Tue Aug 31 15:36:57 2010 +0200
     1.2 +++ b/src/Tools/isac/ProgLang/Language.thy	Tue Aug 31 16:00:13 2010 +0200
     1.3 @@ -4,9 +4,9 @@
     1.4   *)
     1.5  
     1.6  theory Language imports Script
     1.7 -uses ("scrtools.sml") 
     1.8 +uses ("../ProgLang/scrtools.sml")
     1.9  begin
    1.10  
    1.11 -use "scrtools.sml"
    1.12 +use "../ProgLang/scrtools.sml"
    1.13  
    1.14  end
    1.15 \ No newline at end of file