diff -r 95d956108461 -r 460c24a6a6ba test/Tools/isac/Knowledge/system.sml
--- a/test/Tools/isac/Knowledge/system.sml	Tue Sep 28 08:58:06 2010 +0200
+++ b/test/Tools/isac/Knowledge/system.sml	Tue Sep 28 09:06:56 2010 +0200
@@ -24,21 +24,21 @@
 val SOME (t,_) = rewrite_set_ thy false norm_Poly t;
 if term2str t = 
 "[0 = -1 * q_0 * (0 / 2) + c_2, 0 = L * c + -1 * q_0 * (L ^^^ 2 / 2) + c_2]"
-then () else raise error "system.sml, diff.behav. in norm_Poly";
+then () else error "system.sml, diff.behav. in norm_Poly";
 
 val t = str2term "[0 = c*0 + -1*q_0*(0^^^2 / 2) + c_2,\
 		 \ 0 = c*L + -1*q_0*(L^^^2 / 2) + c_2]";
 val SOME (t,_) = rewrite_set_ thy false norm_Rational t;
 if term2str t = 
 "[0 = c_2, 0 = (2 * c_2 + 2 * L * c + -1 * L ^^^ 2 * q_0) / 2]"
-then () else raise error "system.sml, diff.behav. in norm_Rational";
+then () else error "system.sml, diff.behav. in norm_Rational";
 
 
 val t = str2term "nth_ 1 [0 = c*0 + -1*q_0*(0^^^2 / 2) + c_2,\
 		 \ 0 = c*L + -1*q_0*(L^^^2 / 2) + c_2]";
 val SOME (t,_) = rewrite_set_ thy false list_rls t;
 if term2str t = "0 = c * 0 + -1 * q_0 * (0 ^^^ 2 / 2) + c_2"
-then () else raise error "system.sml, list_rls";
+then () else error "system.sml, list_rls";
 
 
 "----------- me --------------------------------------------------";
@@ -55,12 +55,12 @@
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 case nxt of (_, Specify_Theory "Biegelinie") => ()
-	  | _ => raise error "system.sml diff.behav.in me --1";
+	  | _ => error "system.sml diff.behav.in me --1";
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 case nxt of (_, Apply_Method ["EqSystem", "normalize", "2x2"]) => ()
-	  | _ => raise error "system.sml diff.behav.in me --2";
+	  | _ => error "system.sml diff.behav.in me --2";
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
@@ -69,18 +69,18 @@
 
 case nxt of (_, Subproblem ("Biegelinie", ["triangular", "2x2", 
 					       "linear", "system"])) => ()
-	  | _ => raise error "system.sml diff.behav.in me --3";
+	  | _ => error "system.sml diff.behav.in me --3";
 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 case nxt of (_, Specify_Theory "Biegelinie") => ()
-	  | _ => raise error "system.sml diff.behav.in me --1";
+	  | _ => error "system.sml diff.behav.in me --1";
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 case nxt of (_, Apply_Method ["EqSystem", "normalize", "2x2"]) => ()
-	  | _ => raise error "system.sml diff.behav.in me --2";
+	  | _ => error "system.sml diff.behav.in me --2";
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
@@ -92,9 +92,9 @@
 WN060421 stopped as soon as exp_IsacCore_Equ_Sys_Lin_No-1.xml worked ...
 
 if f2str f = "" then ()
-else raise error  "system.sml diff.behav.in me --99";
+else error  "system.sml diff.behav.in me --99";
 case nxt of ("End_Proof'", End_Proof') => ()
-	  | _ => raise error  "system.sml diff.behav.in me --99";
+	  | _ => error  "system.sml diff.behav.in me --99";
 
 print_depth 11;nxt;print_depth 3;
 ---*)