1.1 --- a/src/Tools/isac/ProgLang/ListC.thy	Sat Mar 19 15:18:10 2011 +0100
     1.2 +++ b/src/Tools/isac/ProgLang/ListC.thy	Wed Mar 23 17:20:39 2011 +0100
     1.3 @@ -4,9 +4,10 @@
     1.4  *)
     1.5  
     1.6  theory ListC imports Complex_Main
     1.7 -uses ("../library.sml")("../calcelems.sml")
     1.8 -("termC.sml")("calculate.sml")
     1.9 -("rewrite.sml")
    1.10 +uses ("../library.sml")
    1.11 +     ("../calcelems.sml")
    1.12 +     ("termC.sml")("calculate.sml")
    1.13 +     ("rewrite.sml")
    1.14  begin
    1.15  use "../library.sml"        (*indent,...*)
    1.16  use "../calcelems.sml"      (*str_of_type, Thm,...*)