1.1 --- a/test/Tools/isac/Knowledge/algein.sml	Wed Sep 08 16:45:27 2010 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/algein.sml	Wed Sep 08 16:47:22 2010 +0200
     1.3 @@ -64,7 +64,7 @@
     1.4       "KantenOben  [t1 = k - 2*q, t2 = k - 2*q, t3 = k - 2*q, t4 = k - 2*q ]",
     1.5       "GesamtLaenge L"];
     1.6  val (dI',pI',mI') =
     1.7 -  ("Isac.thy",["numerischSymbolische", "Berechnung"],
     1.8 +  ("Isac",["numerischSymbolische", "Berechnung"],
     1.9     ["Berechnung","erstNumerisch"]);
    1.10  val p = e_pos'; val c = [];
    1.11  val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))](*nxt = ("Model_Pr*);
    1.12 @@ -77,7 +77,7 @@
    1.13  val (p,_,f,nxt,_,pt) = me nxt p c pt(*Add_Given "KantenOben [b1 = k - 2 *q])*);
    1.14  val (p,_,f,nxt,_,pt) = me nxt p c pt(*..KantenOben [b2 = k - 2 * q, b3 =, b4*);
    1.15  val (p,_,f,nxt,_,pt) = me nxt p c pt(*Add_Find "GesamtLaenge L"*);
    1.16 -val (p,_,f,nxt,_,pt) = me nxt p c pt(*Specify_Theory "AlgEin.thy"*);
    1.17 +val (p,_,f,nxt,_,pt) = me nxt p c pt(*Specify_Theory "AlgEin"*);
    1.18  val (p,_,f,nxt,_,pt) = me nxt p c pt(*Specify_Problem ["numerischSymbolis,Be*);
    1.19  val (p,_,f,nxt,_,pt) = me nxt p c pt(*Specify_Method ["Berechnung", "erstSym*);
    1.20  val (p,_,f,nxt,_,pt) = me nxt p c pt(*Apply_Method*);
    1.21 @@ -108,7 +108,7 @@
    1.22     "KantenSenkrecht [v1 = k, v2 = k, v3 = k, v4 = k]", 
    1.23     "KantenOben  [t1 = k - 2*q, t2 = k - 2*q, t3 = k - 2*q, t4 = k - 2*q ]",
    1.24     "GesamtLaenge L"], 
    1.25 -  ("Isac.thy",["numerischSymbolische", "Berechnung"],
    1.26 +  ("Isac",["numerischSymbolische", "Berechnung"],
    1.27     ["Berechnung","erstSymbolisch"]))];
    1.28  Iterator 1;
    1.29  moveActiveRoot 1;