1.1 --- a/test/Tools/isac/Knowledge/system.sml	Tue Sep 28 08:58:06 2010 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/system.sml	Tue Sep 28 09:06:56 2010 +0200
     1.3 @@ -24,21 +24,21 @@
     1.4  val SOME (t,_) = rewrite_set_ thy false norm_Poly t;
     1.5  if term2str t = 
     1.6  "[0 = -1 * q_0 * (0 / 2) + c_2, 0 = L * c + -1 * q_0 * (L ^^^ 2 / 2) + c_2]"
     1.7 -then () else raise error "system.sml, diff.behav. in norm_Poly";
     1.8 +then () else error "system.sml, diff.behav. in norm_Poly";
     1.9  
    1.10  val t = str2term "[0 = c*0 + -1*q_0*(0^^^2 / 2) + c_2,\
    1.11  		 \ 0 = c*L + -1*q_0*(L^^^2 / 2) + c_2]";
    1.12  val SOME (t,_) = rewrite_set_ thy false norm_Rational t;
    1.13  if term2str t = 
    1.14  "[0 = c_2, 0 = (2 * c_2 + 2 * L * c + -1 * L ^^^ 2 * q_0) / 2]"
    1.15 -then () else raise error "system.sml, diff.behav. in norm_Rational";
    1.16 +then () else error "system.sml, diff.behav. in norm_Rational";
    1.17  
    1.18  
    1.19  val t = str2term "nth_ 1 [0 = c*0 + -1*q_0*(0^^^2 / 2) + c_2,\
    1.20  		 \ 0 = c*L + -1*q_0*(L^^^2 / 2) + c_2]";
    1.21  val SOME (t,_) = rewrite_set_ thy false list_rls t;
    1.22  if term2str t = "0 = c * 0 + -1 * q_0 * (0 ^^^ 2 / 2) + c_2"
    1.23 -then () else raise error "system.sml, list_rls";
    1.24 +then () else error "system.sml, list_rls";
    1.25  
    1.26  
    1.27  "----------- me --------------------------------------------------";
    1.28 @@ -55,12 +55,12 @@
    1.29  val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.30  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.31  case nxt of (_, Specify_Theory "Biegelinie") => ()
    1.32 -	  | _ => raise error "system.sml diff.behav.in me --1";
    1.33 +	  | _ => error "system.sml diff.behav.in me --1";
    1.34  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.35  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.36  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.37  case nxt of (_, Apply_Method ["EqSystem", "normalize", "2x2"]) => ()
    1.38 -	  | _ => raise error "system.sml diff.behav.in me --2";
    1.39 +	  | _ => error "system.sml diff.behav.in me --2";
    1.40  val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
    1.41  val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
    1.42  val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
    1.43 @@ -69,18 +69,18 @@
    1.44  
    1.45  case nxt of (_, Subproblem ("Biegelinie", ["triangular", "2x2", 
    1.46  					       "linear", "system"])) => ()
    1.47 -	  | _ => raise error "system.sml diff.behav.in me --3";
    1.48 +	  | _ => error "system.sml diff.behav.in me --3";
    1.49  val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
    1.50  val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.51  val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.52  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.53  case nxt of (_, Specify_Theory "Biegelinie") => ()
    1.54 -	  | _ => raise error "system.sml diff.behav.in me --1";
    1.55 +	  | _ => error "system.sml diff.behav.in me --1";
    1.56  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.57  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.58  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.59  case nxt of (_, Apply_Method ["EqSystem", "normalize", "2x2"]) => ()
    1.60 -	  | _ => raise error "system.sml diff.behav.in me --2";
    1.61 +	  | _ => error "system.sml diff.behav.in me --2";
    1.62  val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
    1.63  val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
    1.64  val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
    1.65 @@ -92,9 +92,9 @@
    1.66  WN060421 stopped as soon as exp_IsacCore_Equ_Sys_Lin_No-1.xml worked ...
    1.67  
    1.68  if f2str f = "" then ()
    1.69 -else raise error  "system.sml diff.behav.in me --99";
    1.70 +else error  "system.sml diff.behav.in me --99";
    1.71  case nxt of ("End_Proof'", End_Proof') => ()
    1.72 -	  | _ => raise error  "system.sml diff.behav.in me --99";
    1.73 +	  | _ => error  "system.sml diff.behav.in me --99";
    1.74  
    1.75  print_depth 11;nxt;print_depth 3;
    1.76  ---*)