diff -r 02a1cce684a7 -r 4c52ad406c20 test/Tools/isac/Interpret/inform.sml
--- a/test/Tools/isac/Interpret/inform.sml	Wed Oct 06 14:52:12 2010 +0200
+++ b/test/Tools/isac/Interpret/inform.sml	Wed Oct 06 15:12:41 2010 +0200
@@ -101,13 +101,13 @@
 
    *)
 "----------------------------------------------------------";
- val fod = make_deriv Isac.thy Atools_erls 
+ val fod = make_deriv (theory "Isac") Atools_erls 
 		       ((#rules o rep_rls) Test_simplify)
 		       (sqrt_right false (theory "Pure")) NONE 
 		       (str2term "x + 1 + -1 * 2 = 0");
  (writeln o trtas2str) fod;
 
- val ifod = make_deriv Isac.thy Atools_erls 
+ val ifod = make_deriv (theory "Isac") Atools_erls 
 		       ((#rules o rep_rls) Test_simplify)
 		       (sqrt_right false (theory "Pure")) NONE 
 		       (str2term "-2 * 1 + (1 + x) = 0");
@@ -544,7 +544,7 @@
  [], NONE,
  ??.empty, Sundef, false)*)
 print_depth 5; spec; print_depth 3;
-(*("Isac.thy",
+(*("Isac",
       ["derivative_of", "function"],
       ["diff", "differentiate_on_R"]) : spec*)
 writeln (itms2str_ ctxt probl);
@@ -574,7 +574,7 @@
 (*the following input is copied from BridgeLog Java <==> SML,
   omitting unnecessary inputs*)
 (*1>*)states:=[];
-(*2>*)CalcTree [(["functionTerm (x^2 + x + 1)", "differentiateFor x", "derivative f_'_"],("Isac.thy",["derivative_of","function"],["diff","differentiate_on_R"]))];
+(*2>*)CalcTree [(["functionTerm (x^2 + x + 1)", "differentiateFor x", "derivative f_'_"],("Isac",["derivative_of","function"],["diff","differentiate_on_R"]))];
 (*3>*)Iterator 1; moveActiveRoot 1;
 
 (*6>*)(*completeCalcHead*)autoCalculate 1 CompleteCalcHead;
@@ -589,7 +589,7 @@
  [], NONE,
  ??.empty, Sundef, false)*)
 print_depth 5; spec; print_depth 3;
-(*("Isac.thy",
+(*("Isac",
       ["derivative_of", "function"],
       ["diff", "differentiate_on_R"]) : spec*)
 writeln (itms2str_ ctxt probl);