1.1 --- a/src/Tools/isac/ProgLang/ListC.thy	Tue Jan 11 15:28:03 2011 +0100
     1.2 +++ b/src/Tools/isac/ProgLang/ListC.thy	Mon Feb 21 19:40:36 2011 +0100
     1.3 @@ -4,15 +4,15 @@
     1.4  *)
     1.5  
     1.6  theory ListC imports Complex_Main
     1.7 -uses ("library.sml")("calcelems.sml")
     1.8 -("ProgLang/termC.sml")("ProgLang/calculate.sml")
     1.9 -("ProgLang/rewrite.sml")
    1.10 +uses ("../library.sml")("../calcelems.sml")
    1.11 +("termC.sml")("calculate.sml")
    1.12 +("rewrite.sml")
    1.13  begin
    1.14 -use "library.sml"        (*indent,...*)
    1.15 -use "calcelems.sml"      (*str_of_type, Thm,...*)
    1.16 -use "ProgLang/termC.sml"  (*num_str,...*)
    1.17 -use "ProgLang/calculate.sml" (*???*)
    1.18 -use "ProgLang/rewrite.sml"   (*?*** At command "end" (line 205../ListC.thy*)
    1.19 +use "../library.sml"        (*indent,...*)
    1.20 +use "../calcelems.sml"      (*str_of_type, Thm,...*)
    1.21 +use "termC.sml"  (*num_str,...*)
    1.22 +use "calculate.sml" (*???*)
    1.23 +use "rewrite.sml"   (*?*** At command "end" (line 205../ListC.thy*)
    1.24  
    1.25  text {* 'nat' in List.thy replaced by 'real' *}
    1.26