diff -r 293a30867f15 -r ad0485155c0e test/Tools/isac/Interpret/inform.sml
--- a/test/Tools/isac/Interpret/inform.sml	Mon Oct 11 12:55:40 2010 +0200
+++ b/test/Tools/isac/Interpret/inform.sml	Mon Oct 11 13:31:22 2010 +0200
@@ -51,7 +51,7 @@
 
  states:=[];
  CalcTree [(["equality (x+1=2)", "solveFor x","solutions L"], 
-	    ("Test.thy", 
+	    ("Test", 
 	     ["sqroot-test","univariate","equation","test"],
 	     ["Test","squ-equ-test-subpbl1"]))];
  Iterator 1; moveActiveRoot 1;
@@ -124,7 +124,7 @@
 "--------- appendFormula: on Frm + equ_nrls ----------------------";
  states:=[];
  CalcTree [(["equality (x+1=2)", "solveFor x","solutions L"], 
-	    ("Test.thy", 
+	    ("Test", 
 	     ["sqroot-test","univariate","equation","test"],
 	     ["Test","squ-equ-test-subpbl1"]))];
  Iterator 1; moveActiveRoot 1;
@@ -161,7 +161,7 @@
 "--------- appendFormula: on Res + NO deriv ----------------------";
  states:=[];
  CalcTree [(["equality (x+1=2)", "solveFor x","solutions L"], 
-	    ("Test.thy", 
+	    ("Test", 
 	     ["sqroot-test","univariate","equation","test"],
 	     ["Test","squ-equ-test-subpbl1"]))];
  Iterator 1; moveActiveRoot 1;
@@ -192,7 +192,7 @@
 "--------- appendFormula: on Res + late deriv --------------------";
  states:=[];
  CalcTree [(["equality (x+1=2)", "solveFor x","solutions L"], 
-	    ("Test.thy", 
+	    ("Test", 
 	     ["sqroot-test","univariate","equation","test"],
 	     ["Test","squ-equ-test-subpbl1"]))];
  Iterator 1; moveActiveRoot 1;
@@ -223,7 +223,7 @@
 "--------- appendFormula: on Res + late deriv [x = 3 + -2]---///--";
  states:=[];
  CalcTree [(["equality (x+1=2)", "solveFor x","solutions L"], 
-	    ("Test.thy", 
+	    ("Test", 
 	     ["sqroot-test","univariate","equation","test"],
 	     ["Test","squ-equ-test-subpbl1"]))];
  Iterator 1; moveActiveRoot 1;
@@ -249,7 +249,7 @@
 "--------- replaceFormula: on Res + = ----------------------------";
  states:=[];
  CalcTree [(["equality (x+1=2)", "solveFor x","solutions L"], 
-	    ("Test.thy", 
+	    ("Test", 
 	     ["sqroot-test","univariate","equation","test"],
 	     ["Test","squ-equ-test-subpbl1"]))];
  Iterator 1; moveActiveRoot 1;
@@ -275,7 +275,7 @@
 "--------- replaceFormula: on Res + = 1st Nd ---------------------";
  states:=[];
  CalcTree [(["equality (x+1=2)", "solveFor x","solutions L"], 
-	    ("Test.thy", 
+	    ("Test", 
 	     ["sqroot-test","univariate","equation","test"],
 	     ["Test","squ-equ-test-subpbl1"]))];
  Iterator 1; moveActiveRoot 1;
@@ -300,7 +300,7 @@
 "--------- replaceFormula: on Frm + = 1st Nd ---------------------";
  states:=[];
  CalcTree [(["equality (x+1=2)", "solveFor x","solutions L"], 
-	    ("Test.thy", 
+	    ("Test", 
 	     ["sqroot-test","univariate","equation","test"],
 	     ["Test","squ-equ-test-subpbl1"]))];
  Iterator 1; moveActiveRoot 1;
@@ -324,7 +324,7 @@
 "--------- replaceFormula: cut calculation -----------------------";
  states:=[];
  CalcTree [(["equality (x+1=2)", "solveFor x","solutions L"], 
-	    ("Test.thy", 
+	    ("Test", 
 	     ["sqroot-test","univariate","equation","test"],
 	     ["Test","squ-equ-test-subpbl1"]))];
  Iterator 1; moveActiveRoot 1;
@@ -360,7 +360,7 @@
 	      "interval {x::real. 0 <= x & x <= pi}",
 	      "errorBound (eps=(0::real))"]
  (*specifying is not interesting for this example*)
- val spec = ("DiffApp.thy", ["maximum_of","function"], 
+ val spec = ("DiffApp", ["maximum_of","function"], 
 	     ["DiffApp","max_by_calculus"]);
  (*the empty model with descriptions for user-guidance by Model_Problem*)
  val empty_model = [Given ["fixedValues []"],
@@ -422,7 +422,7 @@
 "--------- syntax error ------------------------------------------";
  states:=[];
  CalcTree [(["equality (x+1=2)", "solveFor x","solutions L"], 
-	    ("Test.thy", 
+	    ("Test", 
 	     ["sqroot-test","univariate","equation","test"],
 	     ["Test","squ-equ-test-subpbl1"]))];
  Iterator 1; moveActiveRoot 1;
@@ -472,7 +472,7 @@
 "--------- inform [rational,simplification] ----------------------";
 states:=[];
 CalcTree [(["TERM (4/x - 3/y - 1)", "normalform N"],
-	   ("Rational.thy",["rational","simplification"],
+	   ("Rational",["rational","simplification"],
 	    ["simplification","of_rationals"]))];
 Iterator 1; moveActiveRoot 1;
 autoCalculate 1 CompleteCalcHead;