diff -r 20231cdf39e7 -r 67a110289e4e src/Tools/isac/ProgLang/ListC.thy
--- a/src/Tools/isac/ProgLang/ListC.thy	Mon Sep 27 13:35:06 2010 +0200
+++ b/src/Tools/isac/ProgLang/ListC.thy	Tue Sep 28 07:28:10 2010 +0200
@@ -5,12 +5,12 @@
 
 theory ListC imports Complex_Main
 uses ("library.sml")("calcelems.sml")
-("ProgLang/term.sml")("ProgLang/calculate.sml")
+("ProgLang/termC.sml")("ProgLang/calculate.sml")
 ("ProgLang/rewrite.sml")
 begin
 use "library.sml"        (*indent,...*)
 use "calcelems.sml"      (*str_of_type, Thm,...*)
-use "ProgLang/term.sml"  (*num_str,...*)
+use "ProgLang/termC.sml"  (*num_str,...*)
 use "ProgLang/calculate.sml" (*???*)
 use "ProgLang/rewrite.sml"   (*?*** At command "end" (line 205../ListC.thy*)