1.1 --- a/test/Tools/isac/Knowledge/system.sml	Wed Sep 08 16:45:27 2010 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/system.sml	Wed Sep 08 16:47:22 2010 +0200
     1.3 @@ -47,14 +47,14 @@
     1.4  val fmz = ["equalities [0 = c_2 + c * 0 + -1 * q_0 / 2 * 0 ^^^ 2, 0 = c_2 + c * L + -1 * q_0 / 2 * L ^^^ 2]",
     1.5  	   "solveForVars [c, c_2]", "solution ss___"];
     1.6  val (dI',pI',mI') =
     1.7 -  ("Biegelinie.thy",["normalize","2x2","linear","system"],
     1.8 +  ("Biegelinie",["normalize","2x2","linear","system"],
     1.9     ["EqSystem","normalize","2x2"]);
    1.10  val p = e_pos'; val c = [];
    1.11  val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
    1.12  val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.13  val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.14  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.15 -case nxt of (_, Specify_Theory "Biegelinie.thy") => ()
    1.16 +case nxt of (_, Specify_Theory "Biegelinie") => ()
    1.17  	  | _ => raise error "system.sml diff.behav.in me --1";
    1.18  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.19  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.20 @@ -67,14 +67,14 @@
    1.21  val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
    1.22  val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
    1.23  
    1.24 -case nxt of (_, Subproblem ("Biegelinie.thy", ["triangular", "2x2", 
    1.25 +case nxt of (_, Subproblem ("Biegelinie", ["triangular", "2x2", 
    1.26  					       "linear", "system"])) => ()
    1.27  	  | _ => raise error "system.sml diff.behav.in me --3";
    1.28  val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
    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;val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.31  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.32 -case nxt of (_, Specify_Theory "Biegelinie.thy") => ()
    1.33 +case nxt of (_, Specify_Theory "Biegelinie") => ()
    1.34  	  | _ => raise error "system.sml diff.behav.in me --1";
    1.35  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.36  val (p,_,f,nxt,_,pt) = me nxt p c pt;