
diff -r 7f4cfec6b910 -r 69364e021751 src/Tools/isac/ProgLang/ListC.thy
--- a/src/Tools/isac/ProgLang/ListC.thy	Tue Jan 11 15:28:03 2011 +0100
+++ b/src/Tools/isac/ProgLang/ListC.thy	Mon Feb 21 19:40:36 2011 +0100
@@ -4,15 +4,15 @@
 *)
 
 theory ListC imports Complex_Main
-uses ("library.sml")("calcelems.sml")
-("ProgLang/termC.sml")("ProgLang/calculate.sml")
-("ProgLang/rewrite.sml")
+uses ("../library.sml")("../calcelems.sml")
+("termC.sml")("calculate.sml")
+("rewrite.sml")
 begin
-use "library.sml"        (*indent,...*)
-use "calcelems.sml"      (*str_of_type, Thm,...*)
-use "ProgLang/termC.sml"  (*num_str,...*)
-use "ProgLang/calculate.sml" (*???*)
-use "ProgLang/rewrite.sml"   (*?*** At command "end" (line 205../ListC.thy*)
+use "../library.sml"        (*indent,...*)
+use "../calcelems.sml"      (*str_of_type, Thm,...*)
+use "termC.sml"  (*num_str,...*)
+use "calculate.sml" (*???*)
+use "rewrite.sml"   (*?*** At command "end" (line 205../ListC.thy*)
 
 text {* 'nat' in List.thy replaced by 'real' *}
 




