1.1 --- a/test/Tools/isac/Knowledge/algein.sml	Thu Feb 28 18:27:29 2019 +0100
     1.2 +++ b/test/Tools/isac/Knowledge/algein.sml	Fri Mar 01 13:24:08 2019 +0100
     1.3 @@ -67,7 +67,7 @@
     1.4  val (p,_,f,nxt,_,pt) = me nxt p c pt(*Rewrite_Set "norm_Rational"*);f2str f;
     1.5  val (p,_,f,nxt,_,pt) = me nxt p c pt(**);
     1.6  if f2str f = "L = 32 + senkrecht + unten" then ()
     1.7 -else error "algein.sml diff.behav. in erstSymbolisch 1";
     1.8 +else error "algein.sml diff.behav. in erstNumerisch 1";
     1.9  val (p,_,f,nxt,_,pt) = me nxt p c pt;val(p,_,f,nxt,_,pt)=me nxt p c pt;f2str f;
    1.10  val (p,_,f,nxt,_,pt) = me nxt p c pt;val(p,_,f,nxt,_,pt)=me nxt p c pt;f2str f;
    1.11  val (p,_,f,nxt,_,pt) = me nxt p c pt;val(p,_,f,nxt,_,pt)=me nxt p c pt;f2str f;
    1.12 @@ -75,8 +75,8 @@
    1.13  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.14  if f2str f = "L = 104"
    1.15  then case nxt of ("End_Proof'", End_Proof') => ()
    1.16 -  | _ => error "algein.sml diff.behav. in erstSymbolisch 99 1"
    1.17 -else error "algein.sml diff.behav. in erstSymbolisch 99 2";
    1.18 +  | _ => error "algein.sml diff.behav. in erstNumerisch 99 1"
    1.19 +else error "algein.sml diff.behav. in erstNumerisch 99 2";
    1.20  DEconstrCalcTree 1;
    1.21  
    1.22  "----------- auto 'Berechnung' 'erstSymbolisch' ------------------";