1.1 --- a/src/Tools/isac/ProgLang/ListC.thy	Fri Jun 14 15:46:09 2013 +0200
     1.2 +++ b/src/Tools/isac/ProgLang/ListC.thy	Sun Jun 16 12:31:41 2013 +0200
     1.3 @@ -4,15 +4,17 @@
     1.4  *)
     1.5  
     1.6  theory ListC imports Complex_Main
     1.7 -uses ("../library.sml")
     1.8 -     ("../calcelems.sml")
     1.9 -     ("termC.sml") ("calculate.sml") ("rewrite.sml")
    1.10 +uses ("~~/src/Tools/isac/library.sml")
    1.11 +     ("~~/src/Tools/isac/calcelems.sml")
    1.12 +     ("~~/src/Tools/isac/ProgLang/termC.sml") 
    1.13 +     ("~~/src/Tools/isac/ProgLang/calculate.sml") 
    1.14 +     ("~~/src/Tools/isac/ProgLang/rewrite.sml")
    1.15  begin
    1.16 -use "../library.sml"
    1.17 -use "../calcelems.sml"
    1.18 -use "termC.sml"
    1.19 -use "calculate.sml"
    1.20 -use "rewrite.sml"
    1.21 +use "~~/src/Tools/isac/library.sml"
    1.22 +use "~~/src/Tools/isac/calcelems.sml"
    1.23 +use "~~/src/Tools/isac/ProgLang/termC.sml"
    1.24 +use "~~/src/Tools/isac/ProgLang/calculate.sml"
    1.25 +use "~~/src/Tools/isac/ProgLang/rewrite.sml"
    1.26  
    1.27  text {* 'nat' in List.thy replaced by 'real' *}
    1.28