1.1 --- a/src/Tools/isac/ProgLang/ListC.thy	Mon Sep 27 13:35:06 2010 +0200
     1.2 +++ b/src/Tools/isac/ProgLang/ListC.thy	Tue Sep 28 07:28:10 2010 +0200
     1.3 @@ -5,12 +5,12 @@
     1.4  
     1.5  theory ListC imports Complex_Main
     1.6  uses ("library.sml")("calcelems.sml")
     1.7 -("ProgLang/term.sml")("ProgLang/calculate.sml")
     1.8 +("ProgLang/termC.sml")("ProgLang/calculate.sml")
     1.9  ("ProgLang/rewrite.sml")
    1.10  begin
    1.11  use "library.sml"        (*indent,...*)
    1.12  use "calcelems.sml"      (*str_of_type, Thm,...*)
    1.13 -use "ProgLang/term.sml"  (*num_str,...*)
    1.14 +use "ProgLang/termC.sml"  (*num_str,...*)
    1.15  use "ProgLang/calculate.sml" (*???*)
    1.16  use "ProgLang/rewrite.sml"   (*?*** At command "end" (line 205../ListC.thy*)
    1.17