1.1 --- a/test/Tools/isac/Knowledge/algein.sml	Mon Aug 26 09:20:07 2019 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/algein.sml	Mon Aug 26 17:40:27 2019 +0200
     1.3 @@ -43,7 +43,7 @@
     1.4       "KantenOben  [t1 = k - 2*(q::real), t2 = k - 2*(q::real), t3 = k - 2*(q::real), t4 = k - 2*(q::real) ]",
     1.5       "GesamtLaenge L"];
     1.6  val (dI',pI',mI') =
     1.7 -  ("Isac",["numerischSymbolische", "Berechnung"],
     1.8 +  ("Isac_Knowledge",["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 @@ -88,7 +88,7 @@
    1.13       "KantenSenkrecht [v1 = (k::real), v2 = (k::real), v3 = (k::real), v4 = (k::real)]", 
    1.14       "KantenOben  [t1 = k - 2*(q::real), t2 = k - 2*(q::real), t3 = k - 2*(q::real), t4 = k - 2*(q::real) ]",
    1.15       "GesamtLaenge L"], 
    1.16 -  ("Isac",["numerischSymbolische", "Berechnung"],
    1.17 +  ("Isac_Knowledge",["numerischSymbolische", "Berechnung"],
    1.18     ["Berechnung","erstSymbolisch"]))];
    1.19  Iterator 1;
    1.20  moveActiveRoot 1;
    1.21 @@ -100,7 +100,7 @@
    1.22  "----------- Widerspruch 3 = 777 ---------------------------------";
    1.23  "----------- Widerspruch 3 = 777 ---------------------------------";
    1.24  "----------- Widerspruch 3 = 777 ---------------------------------";
    1.25 -val thy = @{theory "Isac"}; 
    1.26 +val thy = @{theory "Isac_Knowledge"}; 
    1.27  val rew_ord = dummy_ord;
    1.28  val erls = Erls;
    1.29  val thm = assoc_thm' thy ("sym_mult_zero_right","");