1.1 --- a/test/Tools/isac/Knowledge/algein.sml	Tue Sep 28 08:58:06 2010 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/algein.sml	Tue Sep 28 09:06:56 2010 +0200
     1.3 @@ -88,14 +88,14 @@
     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 raise error "algein.sml diff.behav. in erstSymbolisch 1";
     1.8 +else error "algein.sml diff.behav. in erstSymbolisch 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  val (p,_,f,nxt,_,pt) = me nxt p c pt;val(p,_,f,nxt,_,pt)=me nxt p c pt;f2str f;
    1.13  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.14  if f2str f = "L = 104" andalso nxt = ("End_Proof'", End_Proof') then ()
    1.15 -else raise error "algein.sml diff.behav. in erstSymbolisch 99";
    1.16 +else error "algein.sml diff.behav. in erstSymbolisch 99";
    1.17  
    1.18  
    1.19  "----------- auto 'Berechnung' 'erstSymbolisch' ------------------";
    1.20 @@ -115,7 +115,7 @@
    1.21  autoCalculate 1 CompleteCalc;
    1.22  val ((pt,p),_) = get_calc 1; show_pt pt;
    1.23  if p = ([], Res) andalso term2str (get_obj g_res pt (fst p)) = "L = 104" then()
    1.24 -else raise error "algein.sml: 'Berechnung' 'erstSymbolisch' changed";
    1.25 +else error "algein.sml: 'Berechnung' 'erstSymbolisch' changed";
    1.26  
    1.27  (*
    1.28  show_pt pt;